Decapsulation -- ML-KEM-768
dk: 3456859BF707E672AC712B7E70F5427574597502B81DE8931C92A9C0D22A8E1773CB87472205A31C32206BA4BCF42259533CB3A19C0200860244A6C3F6921845B0A05850187A4310B3D5223AAAA0C79B9BBCFCCB3F751214EB0CFAC1A29ED8848A5A49BA84BA68E6B6F5057D493105FF38A9F44B4E7F6CBE7D216408F7B48605B270B253B001A5401C0C9127CC185B1B0CF92B99FBA0D95A295F873515520C86321B8C966C837AAB34B2BFFAB2A2A4301B356B26CDC4563802901B4762F284281A382E5F762BEF47B519A81A108657EBE962BE120B5FB3B9ED338CCF47B3A03952A16633F6E6B534E6B63D05706EFA0F94C03A2B856AE551422F9011F2589A41B96A2CD213C6999B09E91FF423CB106A1A920B84B811469497154223987F005C72F8AF388B090C639F8C774FC5A294C74A212C91A86C328AEBEA558AB43F8B873534FA2EF9E66CEF3C52CD471AB78375E745B9D0AA65D2278B9275AE5348B16CF62AC8065734E4BD77B80CCF897605EB76F485AF8A0B466557A83C0292CCF903EE7AA57C3B51AD660189B86139E380425B31A92689DF2431BFA7B69EAB1727451B29DA8B8BF851E1BC2D3A63134CA9663C57AEC6985CEBD56DB0447B136B017A974761C3C67D33772F9964E5434D643504332A3027294A078C599CB29163109CE3B56CE698B4D3F59E2956A1F03A4B955593F2D2457FFAAE9624A0711045B3F55292F20CC9D0CD791A21597B0F2CD980F3510F0B0239022000D735586EE6A73F3A3DCBD6BD1A85C86512ABF3C51CE00A0331F65360462C022329597A81C3F92FC17938C9138F4111387979C28F0334F90119221374DAB045929B49E43A9646A243F4464DAF811AB00630C75961BCD4AF5D99115A3749191BA8FD41CE0B3C89A695B4BB85064FD3AF95C9B4AEE09AC7B0CC69ECA36A004B6CD662A6D32795053EF0A03ADA3B98BFE3B46A79723E3A45AB3C31950669AD77072062CC3B504DF1334FD6909EAC7915F1D5AD16639F5FB564416454259134D565882CB381CBA58B76880767B50AC1B85795D7268433B371230ED4C72F99AB1AD1E595A459CF0A2334AA1463ADE4BDC9249605381857BB98095B41132946CA2457DFAA9149582AA19927B63689E2929AA41027BEF4921970BAD4A55490D91ABE251DEF4552CA88034106A02CE4B058F8B59624B67E063BF178B015E4281EB114A2BC2454943A4B4647122C42CBEA4E94154FD3E4B791F6290B782994206853D67000A633F320A8A374CA5D4038F9CA4244DCB02E9A84E1F7C8A821132B32B9A840557B34780665301724BA2606681D945E34D7CF941B8963CAA1001A491B8B2E43570E9AB95C0A57C503F0AB960B4856D0251574710FE5CB474284FC1049AA2A7B03694A1C763E99DAC6AD0BA8038B138A64432E349116A031E8C792781751BA473CBDF55720005ABDAA13D50182F0E633776BB0675C40472BAD1F9672769183D0CCC810BC25A8573220569F6AC4BAC22A1354D8B36C0580D0E5299E629C506CC7655546FF27810C97B51BA056BBF86ED9CB7C0A537F72D0CF9AD2C231E29EBF553F613CBB15B3721A20077E505FD390CB19F6488A107DEE1CAC58AB7034BA690300219595B3695C1234E8B57E33C8D3A048454A616DF3C9B56A6FF2026AF997725FC95579043BAE9399B6790D637B4FA820B0B2D2CAB607BAF6A372734C31EE0026F3C076D14A8E3EE66AAD8BBBCCEB9DC70C7B6BB0BB76C200C231601CA0873EC8710F4B18D57290B033727C601EDB71C2B0F0C21D553E0E7A4F77716839C7C8448ABB9F66A54E8A4B08A79D9A392CA1270031388BAD56217E32AEF55411974906A245C00712B3CBB1170685193FE25ACD7AC13D32073F3879A5D78375F0052CF79175BAB46D22370597BD06789EDD0711CC4243507A02B4FAADBB62250CC997AE0327AEB00DEB529192A64B1096A86B19674D0B0AF05C4AAE178C2C9A6442E94ED0A56033A11EE42632C0B4AA51D42150790F41062B77253C25BA4DE559761F0A90068389728BC977F70CF7BCCFBD883DF13C79F5F2C34312CB1D5A55D78C1B242096A8C0593CFB2753460BD30ABA306C74173995748385D00B3670E61324D87DE8A14450DC493768777FF0CE6810937A711229561A5EF2BB69861074E00BD93266E4B86269E18EEA2CAACB60A1358636CD7A7CA6BB682130241784B101EA5BFD6C3A07158621614736F6996D5A4E14963A12D836E533A0C8912DB7E11685A4A53D8285F08750DFF66DA27C23B97542DEFB99E470ACD5E647C940CB57301B43CC3E68E64E28B06770695EF609265E06C60F22CB875849E62BAB88CC10ECF622C379CB54F13D8B2BAC902B9AB02BB330B45AC8B741C2647AC45B5BF48A6D3FE039986CC940C60A94E66CF644531016A5272450824314B5662A0A909ABFB46FD27BAED3ABA8259361596882B08B2AC7233930FC3786738ED2F81EE638C45C3B9CFD1951DB5BCC1445C2C1625D57D57B53904B6A1AB681580755E89FA79775A657CD62B4426304BC0C711E2807A2C9E852D4B4359EE6B53E4675F523C90782572DC7368FB400C328C70FC846B5E98A4330BBB627BDD784B4DAF0B1F645944942B4C2B6225C8B31E989545522BA6F10396034CB1CA745977844D570894C611A5608A757416D6DE59963C32798C493EFD2264C231910E9A30090CA7B5384F231B89BA68A238190EF1A2A43CB01703470A0F061A70738944BCD9B7004F24797AECB88B1091CFED0590B0415453C39B6EC45B66305FAEA6B55A4B7967505FE3862A267ADBFE05B9181A06501893391650EAAA4A6D16853349276F98E0F44CD726615C61C16713094D8AB093CAC71F2803E7D39109EF5009C9C2CDAF7B7A6B37A33A49881F4BB5D7245A14C5042280C76A84E63F49D0D619D46D723BAA747A3BA90A6FB637A9A1DC02268FD5C043D18CBA1528AC8E225C1F923D1CC84F2E78E25DC3CCE9353C9DAC2AD726A79F64940801DD5701EFBDCB80A98A25993CD7F80591320B63172718647B976A98A771686F0120A053B0C4474604305890FECAF23475DDCC11BC08A9C5F592ABB1A153DB1B883C0507EB68F78E0A14DEBBFEEC621E10A69B6DAAFAA916B539533E508007C4188CE05C862D101D4DB1DF3C4502B8C8AE1457488A36EAD2665BFACB321760281DB9CA72C7614363404A0A8EABC058A23A346875FA96BB18AC2CCF093B8A855673811CED47CBE1EE81D2CF07E43FC4872090853743108865F02C5612AA87166707EE90FFD5B8021F0AA016E5DBCD91F57B3562D3A2BCFA20A4C03010B8AA144E6482804B474FEC1F5E138BE632A3B9C82483DC6890A13B1E8EE6AF714EC5EFAC3B1976B29DADB605B14D3732B5DE118596516858117E2634C4EA0CC
c: DFA6B9D72A63B420B89DDE50F7E0D56ECF876BFEF991FCE91C8D286FA6EABAC1730FD87741FE4AD717B282A21E235A55C3757D88D4CE62F414EB77EB9D357EE29D00087BF8110E5BBBC7C90419072EAE044BF7E183D43A94B2632AA14649619B70649521BC19370942EF70F36C34C8C23591EE0CA71A12D279E0F52D39ED0F913F8C262621FB242E680DEB307B0749C6B393A8EF66F8B04AAFA877B951AB93F598B4B2FAB04F88AC803984FF37E3FE74F3A616D5314EB3A826F874F8ECD3A5647D04942A57EFC09638470DC0A9DF40B317571D3984A78CF7D11751090722B3059E07591CC4A2ED9BA0DCE99BE9E5EE5DB8D698CDEB5814759BA977C90079CF2AFDE478069C513A60091A3A5D0111E22DE06CB145C14E22A214CB278C8152B0681BCAFF54D552B54A671C0DFEF775E7C54FEFC4853868C955971ABDAC2A76292CCCD4FD1C706B7D3614159673E9D7B29A2D3F63363129E7A21E803A460F2714E3E25922780AF38257CD1495ACD1E01980638DF58A153DAB07EFB5C7E78ADACF631956D69CCDA070459568BD9D11A2934BCF1643BC99468238910B1F742EBB3C03D39FD45CFB85BA309E29DD9B5CD560819EC729FCAC8B9D725E3E8ABEDE4B5298A8658EE3F781B0CE683CBB7335CD57EFE2204A8F197446D7314CDBF4C5D08CCC41F80857CC9571FBFB906060F7E17C8CEF0F274AFF83E393B15F2F9589A13AF4BC78E16CDDE62361D63B8DC903B70C01A43419CD2052150BD28719F61FF31F4A9BEC4DDBCEC1F8FB2EFBF37DFFFA4C7FECA8CE6D626BFDA16EE708D9206814A2EF988525615D4AC9BE608C4B03ABEE95B32A5DB74A96119A7E159AF99CD98E88EAF09F0D780E7C7E814B8E88B4F4E15FA54995D0ECBAD3EF046A4947F3E8B9E744241489B806FE9401E78BAFC8E882E9D6D0700F720C0024E7DA49061C5D18A62074040ABC0003200ED465231797930A2E2AA501F64862DDA13014A99F9D3270AA907EEB3FDBFF291600DF1F6B39684B11E396B70D86F90492E82B09BA25607B0C286FBC070182AC76FA7C859AAFEA87016AED22C3605A2789A1D439FD8D933342DAB745A3E550E7D77C01A6234BDA7D6BB19D495E6560FCE8396FC3C6E088ED60F5F2771416EA3BE5BE472B6404906C91E71D9A8672F390083655AB7D0EC6EDFE86789CE20BE2EA90CA5CC31416FB24CBAF94DA1468FE696BCDF5247CF117CBE9334076CA6896B2F6A016B1F7C73728807898D8B199756C2B0AA2457E1B4F7754C4576CE5645614EA15C1AE28B094EB217C7A7A41239576CBDA380EE68783432730AD5EBE7F51D6BE7FB02AB37BE0C96AAC9F3C790A18D159E6BABA71EC88C110FD84C336DF630F271CF79328B6C879DF7CDE0F70712220B1FBB9ACB48248D91F0E2B6E3BE40C2B221E626E7E330D9D83CC0668F7308591E14C7D72B841A6F05F3FDC139EECC1536765650B55A9CEC6BBF54CCEC5C3AC9A0E39F48F237BD4C660CB1A8D250BB6C8C010FEC34CC3D91599271C7531330F12A3E44FAFD905D2C6

dk_pke: 3456859BF707E672AC712B7E70F5427574597502B81DE8931C92A9C0D22A8E1773CB87472205A31C32206BA4BCF42259533CB3A19C0200860244A6C3F6921845B0A05850187A4310B3D5223AAAA0C79B9BBCFCCB3F751214EB0CFAC1A29ED8848A5A49BA84BA68E6B6F5057D493105FF38A9F44B4E7F6CBE7D216408F7B48605B270B253B001A5401C0C9127CC185B1B0CF92B99FBA0D95A295F873515520C86321B8C966C837AAB34B2BFFAB2A2A4301B356B26CDC4563802901B4762F284281A382E5F762BEF47B519A81A108657EBE962BE120B5FB3B9ED338CCF47B3A03952A16633F6E6B534E6B63D05706EFA0F94C03A2B856AE551422F9011F2589A41B96A2CD213C6999B09E91FF423CB106A1A920B84B811469497154223987F005C72F8AF388B090C639F8C774FC5A294C74A212C91A86C328AEBEA558AB43F8B873534FA2EF9E66CEF3C52CD471AB78375E745B9D0AA65D2278B9275AE5348B16CF62AC8065734E4BD77B80CCF897605EB76F485AF8A0B466557A83C0292CCF903EE7AA57C3B51AD660189B86139E380425B31A92689DF2431BFA7B69EAB1727451B29DA8B8BF851E1BC2D3A63134CA9663C57AEC6985CEBD56DB0447B136B017A974761C3C67D33772F9964E5434D643504332A3027294A078C599CB29163109CE3B56CE698B4D3F59E2956A1F03A4B955593F2D2457FFAAE9624A0711045B3F55292F20CC9D0CD791A21597B0F2CD980F3510F0B0239022000D735586EE6A73F3A3DCBD6BD1A85C86512ABF3C51CE00A0331F65360462C022329597A81C3F92FC17938C9138F4111387979C28F0334F90119221374DAB045929B49E43A9646A243F4464DAF811AB00630C75961BCD4AF5D99115A3749191BA8FD41CE0B3C89A695B4BB85064FD3AF95C9B4AEE09AC7B0CC69ECA36A004B6CD662A6D32795053EF0A03ADA3B98BFE3B46A79723E3A45AB3C31950669AD77072062CC3B504DF1334FD6909EAC7915F1D5AD16639F5FB564416454259134D565882CB381CBA58B76880767B50AC1B85795D7268433B371230ED4C72F99AB1AD1E595A459CF0A2334AA1463ADE4BDC9249605381857BB98095B41132946CA2457DFAA9149582AA19927B63689E2929AA41027BEF4921970BAD4A55490D91ABE251DEF4552CA88034106A02CE4B058F8B59624B67E063BF178B015E4281EB114A2BC2454943A4B4647122C42CBEA4E94154FD3E4B791F6290B782994206853D67000A633F320A8A374CA5D4038F9CA4244DCB02E9A84E1F7C8A821132B32B9A840557B34780665301724BA2606681D945E34D7CF941B8963CAA1001A491B8B2E43570E9AB95C0A57C503F0AB960B4856D0251574710FE5CB474284FC1049AA2A7B03694A1C763E99DAC6AD0BA8038B138A64432E349116A031E8C792781751BA473CBDF55720005ABDAA13D50182F0E633776BB0675C40472BAD1F9672769183D0CCC810BC25A8573220569F6AC4BAC22A1354D8B36C0580D0E5299E629C506CC7655546FF27810C97B51BA056BBF86ED9CB7C0A537F72D0CF9AD2C231E29EBF553F613CBB15B3721A20077E505FD390CB19F6488A107DEE1CAC58AB7034BA690300219595B3695C12
ek_pke: 34E8B57E33C8D3A048454A616DF3C9B56A6FF2026AF997725FC95579043BAE9399B6790D637B4FA820B0B2D2CAB607BAF6A372734C31EE0026F3C076D14A8E3EE66AAD8BBBCCEB9DC70C7B6BB0BB76C200C231601CA0873EC8710F4B18D57290B033727C601EDB71C2B0F0C21D553E0E7A4F77716839C7C8448ABB9F66A54E8A4B08A79D9A392CA1270031388BAD56217E32AEF55411974906A245C00712B3CBB1170685193FE25ACD7AC13D32073F3879A5D78375F0052CF79175BAB46D22370597BD06789EDD0711CC4243507A02B4FAADBB62250CC997AE0327AEB00DEB529192A64B1096A86B19674D0B0AF05C4AAE178C2C9A6442E94ED0A56033A11EE42632C0B4AA51D42150790F41062B77253C25BA4DE559761F0A90068389728BC977F70CF7BCCFBD883DF13C79F5F2C34312CB1D5A55D78C1B242096A8C0593CFB2753460BD30ABA306C74173995748385D00B3670E61324D87DE8A14450DC493768777FF0CE6810937A711229561A5EF2BB69861074E00BD93266E4B86269E18EEA2CAACB60A1358636CD7A7CA6BB682130241784B101EA5BFD6C3A07158621614736F6996D5A4E14963A12D836E533A0C8912DB7E11685A4A53D8285F08750DFF66DA27C23B97542DEFB99E470ACD5E647C940CB57301B43CC3E68E64E28B06770695EF609265E06C60F22CB875849E62BAB88CC10ECF622C379CB54F13D8B2BAC902B9AB02BB330B45AC8B741C2647AC45B5BF48A6D3FE039986CC940C60A94E66CF644531016A5272450824314B5662A0A909ABFB46FD27BAED3ABA8259361596882B08B2AC7233930FC3786738ED2F81EE638C45C3B9CFD1951DB5BCC1445C2C1625D57D57B53904B6A1AB681580755E89FA79775A657CD62B4426304BC0C711E2807A2C9E852D4B4359EE6B53E4675F523C90782572DC7368FB400C328C70FC846B5E98A4330BBB627BDD784B4DAF0B1F645944942B4C2B6225C8B31E989545522BA6F10396034CB1CA745977844D570894C611A5608A757416D6DE59963C32798C493EFD2264C231910E9A30090CA7B5384F231B89BA68A238190EF1A2A43CB01703470A0F061A70738944BCD9B7004F24797AECB88B1091CFED0590B0415453C39B6EC45B66305FAEA6B55A4B7967505FE3862A267ADBFE05B9181A06501893391650EAAA4A6D16853349276F98E0F44CD726615C61C16713094D8AB093CAC71F2803E7D39109EF5009C9C2CDAF7B7A6B37A33A49881F4BB5D7245A14C5042280C76A84E63F49D0D619D46D723BAA747A3BA90A6FB637A9A1DC02268FD5C043D18CBA1528AC8E225C1F923D1CC84F2E78E25DC3CCE9353C9DAC2AD726A79F64940801DD5701EFBDCB80A98A25993CD7F80591320B63172718647B976A98A771686F0120A053B0C4474604305890FECAF23475DDCC11BC08A9C5F592ABB1A153DB1B883C0507EB68F78E0A14DEBBFEEC621E10A69B6DAAFAA916B539533E508007C4188CE05C862D101D4DB1DF3C4502B8C8AE1457488A36EAD2665BFACB321760281DB9CA72C7614363404A0A8EABC058A23A346875FA96BB18AC2CCF093B8A855673811CED47CBE1EE81D2CF07E43FC4872090853743108865F02C5612AA87166707EE90FFD5B8021F0AA016E5DBCD91F57B3562D3A2BCFA20A4C0301
h: 0B8AA144E6482804B474FEC1F5E138BE632A3B9C82483DC6890A13B1E8EE6AF7
z: 14EC5EFAC3B1976B29DADB605B14D3732B5DE118596516858117E2634C4EA0CC

c1: DFA6B9D72A63B420B89DDE50F7E0D56ECF876BFEF991FCE91C8D286FA6EABAC1730FD87741FE4AD717B282A21E235A55C3757D88D4CE62F414EB77EB9D357EE29D00087BF8110E5BBBC7C90419072EAE044BF7E183D43A94B2632AA14649619B70649521BC19370942EF70F36C34C8C23591EE0CA71A12D279E0F52D39ED0F913F8C262621FB242E680DEB307B0749C6B393A8EF66F8B04AAFA877B951AB93F598B4B2FAB04F88AC803984FF37E3FE74F3A616D5314EB3A826F874F8ECD3A5647D04942A57EFC09638470DC0A9DF40B317571D3984A78CF7D11751090722B3059E07591CC4A2ED9BA0DCE99BE9E5EE5DB8D698CDEB5814759BA977C90079CF2AFDE478069C513A60091A3A5D0111E22DE06CB145C14E22A214CB278C8152B0681BCAFF54D552B54A671C0DFEF775E7C54FEFC4853868C955971ABDAC2A76292CCCD4FD1C706B7D3614159673E9D7B29A2D3F63363129E7A21E803A460F2714E3E25922780AF38257CD1495ACD1E01980638DF58A153DAB07EFB5C7E78ADACF631956D69CCDA070459568BD9D11A2934BCF1643BC99468238910B1F742EBB3C03D39FD45CFB85BA309E29DD9B5CD560819EC729FCAC8B9D725E3E8ABEDE4B5298A8658EE3F781B0CE683CBB7335CD57EFE2204A8F197446D7314CDBF4C5D08CCC41F80857CC9571FBFB906060F7E17C8CEF0F274AFF83E393B15F2F9589A13AF4BC78E16CDDE62361D63B8DC903B70C01A43419CD2052150BD28719F61FF31F4A9BEC4DDBCEC1F8FB2EFBF37DFFFA4C7FECA8CE6D626BFDA16EE708D9206814A2EF988525615D4AC9BE608C4B03ABEE95B32A5DB74A96119A7E159AF99CD98E88EAF09F0D780E7C7E814B8E88B4F4E15FA54995D0ECBAD3EF046A4947F3E8B9E744241489B806FE9401E78BAFC8E882E9D6D0700F720C0024E7DA49061C5D18A62074040ABC0003200ED465231797930A2E2AA501F64862DDA13014A99F9D3270AA907EEB3FDBFF291600DF1F6B39684B11E396B70D86F90492E82B09BA25607B0C286FBC070182AC76FA7C859AAFEA87016AED22C3605A2789A1D439FD8D933342DAB745A3E550E7D77C01A6234BDA7D6BB19D495E6560FCE8396FC3C6E088ED60F5F2771416EA3BE5BE472B6404906C91E71D9A8672F390083655AB7D0EC6EDFE86789CE20BE2EA90CA5CC31416FB24CBAF94DA1468FE696BCDF5247CF117CBE9334076CA6896B2F6A016B1F7C73728807898D8B199756C2B0AA2457E1B4F7754C4576CE5645614EA15C1AE28B094EB217C7A7A41239576CBDA380EE68783432730AD5EBE7F51D6BE7FB02AB37BE0C96AAC9F3C790A18D159E6BABA71EC88C1
c2: 10FD84C336DF630F271CF79328B6C879DF7CDE0F70712220B1FBB9ACB48248D91F0E2B6E3BE40C2B221E626E7E330D9D83CC0668F7308591E14C7D72B841A6F05F3FDC139EECC1536765650B55A9CEC6BBF54CCEC5C3AC9A0E39F48F237BD4C660CB1A8D250BB6C8C010FEC34CC3D91599271C7531330F12A3E44FAFD905D2C6
u: [[2389, 2006, 1232, 556, 322, 146, 2919, 2048, 722, 1521, 1713, 2780, 2854, 1622, 2263, 3306, 1642, 2614, 2181, 374, 458, 3153, 1996, 3049, 1437, 780, 803, 2809, 1219, 2965, 569, 2799, 1739, 559, 1795, 397, 1778, 1112, 172, 1531, 406, 943, 770, 1284, 793, 2305, 2906, 3059, 1343, 2955, 1791, 2051, 0, 2295, 2936, 231, 2542, 2360, 400, 2624, 845, 1476, 2393, 2263, 2510, 1515, 1765, 1713, 2354, 878, 2630, 1294, 969, 1378, 481, 1265, 504, 923, 1112, 436, 1443, 1476, 478, 858, 777, 715, 2337, 679, 2315, 1196, 894, 3101, 2536, 2214, 940, 2731, 393, 1222, 2389, 741, 3267, 218, 3306, 1821, 1788, 237, 3075, 478, 150, 2789, 2237, 634, 2897, 1876, 325, 2337, 478, 3257, 2022, 3228, 2237, 3179, 2113, 1554, 1434, 2354, 1021, 3192, 494, 562, 3053, 2298, 257, 2607, 33, 748, 2926, 1661, 1830, 3313, 2874, 1443, 1177, 2770, 1824, 686, 2116, 501, 806, 1759, 2337, 2754, 536, 2786, 231, 1925, 2633, 3189, 46, 1960, 2679, 2760, 0, 2207, 725, 676, 1232, 1131, 927, 878, 2055, 1827, 1635, 1625, 888, 120, 1687, 650, 296, 2055, 855, 2568, 211, 2116, 3267, 124, 1489, 3040, 1336, 1229, 2438, 1219, 2263, 1837, 705, 3066, 286, 1057, 1427, 2204, 1219, 163, 2965, 2695, 969, 1037, 2958, 81, 1339, 2146, 1674, 120, 1749, 2750, 68, 221, 1567, 36, 2334, 2305, 1057, 3069, 1782, 2107, 2562, 1619, 631, 1684, 267, 1808, 1424, 2627, 829, 1109, 979, 2357, 2737, 2578, 679, 3303, 1635, 1551, 306, 1037, 777, 1200, 2939, 1352, 1486, 1525, 1382, 2458, 2224, 1281, 2155, 572],
[663, 2877, 1505, 1456, 1180, 1349, 1050, 273, 2984, 1964, 1242, 2324, 1333, 3157, 1830, 705, 992, 1489, 1814, 397, 2081, 1294, 793, 507, 2562, 598, 1346, 445, 2055, 631, 153, 1138, 666, 1057, 2318, 2724, 1560, 20, 1847, 1837, 2461, 1151, 3176, 2224, 2520, 1232, 400, 3014, 2113, 3296, 1860, 328, 1944, 2669, 705, 2090, 1196, 1096, 2110, 2461, 1343, 429, 1021, 982, 2337, 640, 3134, 1996, 1892, 1769, 894, 150, 101, 3007, 3075, 787, 2507, 3290, 1070, 1206, 1648, 2188, 2533, 2055, 966, 2467, 1486, 2773, 1144, 3017, 393, 543, 819, 2428, 1534, 1489, 1970, 2129, 3251, 2893, 1908, 1730, 2110, 1320, 2958, 1638, 101, 2295, 670, 2581, 3079, 1502, 1005, 1622, 2461, 2949, 1769, 3179, 1326, 1508, 2724, 380, 634, 2851, 1625, 159, 666, 2659, 211, 1866, 1196, 2656, 1317, 2380, 3118, 1882, 312, 1534, 1765, 1622, 2952, 3313, 2029, 962, 3326, 728, 1034, 2308, 2806, 1076, 497, 2100, 189, 2695, 2949, 2929, 1183, 1427, 1866, 1261, 3192, 2750, 494, 49, 595, 218, 1873, 683, 914, 166, 943, 276, 1700, 1625, 1326, 3199, 2598, 3316, 523, 2019, 1599, 2350, 770, 2520, 3303, 3114, 3075, 3170, 2903, 2285, 673, 1655, 767, 3049, 2380, 1278, 1180, 413, 2425, 3007, 858, 176, 2087, 263, 3023, 1856, 289, 488, 1148, 2155, 481, 2480, 312, 2402, 169, 2224, 1606, 744, 2220, 1209, 2259, 1307, 914, 2003, 1242, 2097, 2994, 2038, 2370, 1778, 2211, 3131, 1349, 1674, 751, 1612, 1242, 2393, 741, 1775, 585, 406, 1658, 2149, 1070, 120, 2331, 2428, 3183, 1024, 2185, 953, 2728, 1860, 3010, 3010],
[221, 862, 471, 2399, 1684, 1037, 81, 3004, 2949, 1804, 2120, 1700, 2422, 172, 2539, 198, 371, 10, 1873, 3004, 1541, 1307, 1456, 1209, 1743, 133, 2711, 55, 33, 153, 156, 416, 46, 1213, 1840, 299, 2988, 2198, 2393, 546, 1369, 1248, 465, 1278, 1551, 130, 1050, 2198, 1349, 543, 2507, 2214, 2133, 2389, 3322, 2848, 1661, 1281, 3, 2900, 2598, 1957, 2090, 979, 2552, 1430, 2890, 176, 1268, 1034, 936, 3023, 972, 2087, 1960, 1248, 400, 1674, 2451, 2448, 855, 416, 2315, 1541, 813, 1141, 1378, 2282, 3257, 315, 2185, 3085, 2607, 156, 1372, 510, 1278, 962, 3007, 3290, 2955, 741, 114, 2838, 1427, 679, 1957, 1050, 3248, 2669, 75, 2159, 2611, 2139, 3215, 1395, 1408, 1999, 1573, 1317, 312, 1869, 3010, 1443, 2298, 159, 462, 3088, 1144, 614, 2910, 263, 1736, 2477, 1934, 2480, 2728, 865, 228, 1873, 1183, 1573, 1554, 2003, 2100, 715, 881, 111, 1008, 2357, 3205, 185, 1476, 3105, 361, 1567, 2172, 2471, 1769, 3053, 2133, 2659, 172, 270, 2568, 1034, 579, 2285, 2146, 1008, 2084, 3306, 2838, 2789, 2796, 478, 1235, 1651, 575, 3040, 166, 1300, 543, 1362, 2152, 1391, 1713, 293, 3072, 1655, 2900, 520, 416, 1762, 1278, 2311, 1330, 2591, 2256, 130, 1359, 2968, 1427, 1027, 387, 901, 1235, 1408, 744, 1330, 1057, 3043, 901, 3069, 2113, 2289, 2978, 397, 3127, 1590, 1229, 676, 1099, 1541, 2324, 1840, 738, 2991, 2936, 728, 2042, 624, 2227, 2988, 3313, 1057, 2360, 3274, 2520, 553, 3079, 98, 514, 1388, 3056, 2624, 2975, 133, 910, 2042, 1993, 2428, 1437, 2588, 462, 2516]]
v: [0, 208, 2705, 3121, 832, 1665, 624, 2497, 1248, 624, 3121, 2705, 624, 1248, 3121, 0, 1456, 416, 2497, 208, 1456, 3121, 624, 1873, 1665, 416, 1248, 2289, 1665, 2497, 1873, 1456, 3121, 2705, 2497, 1456, 2913, 2705, 3121, 0, 0, 1456, 208, 1456, 416, 416, 0, 416, 208, 2289, 2289, 3121, 1873, 2289, 2497, 2081, 832, 2289, 416, 1665, 1665, 832, 1873, 2705, 3121, 208, 2913, 0, 2289, 416, 2913, 1248, 2289, 624, 832, 2913, 2497, 0, 2289, 416, 416, 416, 2913, 208, 416, 1248, 2913, 1248, 2913, 1456, 624, 624, 2705, 0, 2705, 1873, 624, 1665, 2497, 2497, 1248, 0, 1665, 1248, 1456, 3121, 0, 624, 1040, 1665, 208, 1873, 208, 2913, 2497, 832, 2705, 1456, 416, 1456, 1665, 2289, 208, 832, 1248, 2081, 0, 3121, 3121, 1040, 3121, 624, 2497, 2705, 624, 208, 2913, 1873, 2497, 2913, 208, 2497, 624, 1040, 1456, 1248, 1040, 1248, 1040, 1248, 2289, 0, 1040, 1040, 1873, 2081, 2913, 2497, 1248, 2497, 2289, 2289, 1040, 3121, 2497, 832, 2913, 2497, 1040, 2497, 624, 2497, 2497, 2081, 2081, 1873, 2913, 0, 1873, 624, 832, 3121, 3121, 1665, 624, 416, 2289, 1456, 832, 2705, 1248, 2497, 0, 1248, 2289, 2497, 2081, 208, 2705, 1665, 1040, 416, 2289, 0, 1248, 2289, 1665, 2497, 0, 2497, 0, 208, 2913, 3121, 624, 2497, 2497, 832, 624, 2497, 1873, 2705, 1040, 208, 1873, 1873, 1456, 416, 2497, 208, 1040, 1456, 208, 624, 624, 624, 3121, 0, 416, 208, 624, 2081, 832, 2913, 3121, 832, 3121, 2081, 1873, 2705, 1040, 0, 416, 2705, 1248, 2497]
sHat: [[1588, 2133, 1947, 127, 742, 2759, 2929, 2018, 1392, 1071, 1141, 1431, 629, 2944, 2077, 2366, 540, 2713, 704, 685, 1934, 1841, 1995, 1144, 1314, 2608, 540, 515, 1131, 3018, 756, 1426, 3155, 2867, 3233, 41, 1536, 40, 1604, 3130, 758, 393, 69, 2571, 88, 389, 890, 260, 1459, 557, 2618, 2570, 3015, 2489, 3260, 3263, 1343, 295, 2836, 206, 506, 2604, 2206, 2125, 2698, 1173, 1210, 2984, 1640, 2926, 1525, 2000, 329, 83, 2303, 2707, 3060, 1252, 3199, 3046, 381, 1602, 1800, 2895, 1414, 2848, 624, 1339, 432, 2640, 3136, 193, 1937, 3266, 2840, 437, 2316, 703, 2969, 2575, 2777, 661, 1887, 856, 533, 197, 646, 435, 1676, 1737, 2691, 2743, 564, 3067, 762, 2603, 164, 435, 2869, 614, 1229, 1388, 568, 2304, 1819, 1572, 1266, 648, 2074, 739, 1631, 695, 2031, 2900, 2073, 426, 1552, 1400, 2539, 1582, 702, 177, 863, 2971, 1005, 2243, 1999, 2868, 2464, 1315, 1697, 822, 1782, 2910, 1588, 2926, 1341, 1792, 2670, 255, 148, 940, 1323, 1704, 485, 1061, 47, 281, 2290, 2469, 2369, 1707, 556, 317, 2502, 2489, 2313, 510, 1012, 3250, 2576, 422, 2962, 2112, 440, 1121, 1940, 345, 834, 2434, 127, 1472, 2162, 2815, 2872, 152, 780, 2550, 1932, 1271, 709, 2378, 2759, 532, 300, 2697, 620, 2211, 2795, 1374, 1162, 1019, 1931, 856, 2612, 751, 1785, 1742, 3311, 1315, 1997, 420, 951, 1880, 1511, 2964, 2768, 1626, 2002, 2226, 1426, 2791, 2131, 2836, 1644, 687, 1736, 1392, 1076, 3038, 2167, 203, 2511, 1896, 2821, 1902, 1524, 2808, 2954, 1120, 1893, 2693, 572, 2336, 2508, 63],
[2798, 2647, 2940, 1299, 1709, 22, 2185, 1563, 825, 2062, 2882, 789, 1705, 2194, 1247, 786, 1983, 2922, 2974, 378, 1319, 436, 2601, 2237, 2187, 1311, 3297, 731, 826, 310, 2380, 1642, 1852, 2789, 2246, 1481, 1515, 1757, 1200, 1972, 2835, 22, 1914, 1145, 865, 3180, 893, 1907, 2351, 1609, 997, 1236, 1380, 67, 2611, 770, 2343, 1186, 3079, 1432, 668, 2331, 99, 2497, 1507, 1739, 2278, 2889, 1491, 2543, 1577, 2581, 2800, 1203, 1429, 2357, 754, 1117, 2687, 2799, 1174, 2562, 113, 1105, 1459, 1327, 658, 207, 201, 3293, 2681, 529, 2905, 247, 2348, 2061, 499, 245, 523, 912, 2, 2, 1495, 1411, 1646, 2686, 2623, 979, 1739, 3037, 1306, 3208, 613, 2737, 1523, 460, 2784, 48, 1585, 1343, 1632, 708, 770, 658, 2649, 2071, 2499, 767, 2497, 903, 969, 2289, 321, 897, 2425, 3111, 911, 832, 505, 400, 802, 1857, 218, 1115, 2962, 1177, 2788, 2403, 582, 1082, 1780, 1236, 431, 424, 1712, 768, 2503, 1557, 1212, 2813, 2397, 281, 1882, 1171, 2841, 2689, 509, 3300, 3083, 2195, 1446, 2889, 1467, 104, 847, 2813, 2453, 2892, 174, 2478, 199, 3275, 3177, 2622, 106, 1200, 1644, 1581, 934, 637, 1429, 992, 240, 938, 3034, 2435, 959, 2894, 2410, 1831, 2622, 1107, 3243, 787, 1685, 1680, 1965, 119, 544, 3270, 59, 1237, 1009, 1267, 214, 2537, 2476, 343, 1521, 2781, 790, 2550, 1375, 1611, 1089, 1350, 293, 841, 1493, 2182, 812, 2075, 1483, 2234, 2166, 120, 1383, 171, 2241, 1403, 1941, 621, 900, 2867, 881, 226, 2004, 764, 2969, 426, 1489, 2398, 2468, 3317, 778, 834],
[1194, 1585, 1197, 3038, 1225, 2402, 2053, 387, 2903, 2443, 2825, 1045, 2323, 1122, 1226, 1394, 2783, 2330, 2121, 677, 2465, 633, 1718, 2195, 738, 2473, 164, 625, 1214, 2351, 25, 2983, 1492, 1354, 2448, 429, 1470, 466, 1519, 1316, 2250, 56, 1601, 2560, 1068, 2830, 2136, 2911, 1174, 2914, 1662, 944, 2289, 2823, 1045, 654, 286, 331, 3234, 587, 1108, 937, 1611, 1140, 3090, 1058, 2763, 1262, 1428, 1265, 1235, 2942, 1681, 671, 2059, 663, 148, 1666, 1619, 1805, 1536, 826, 243, 2690, 1187, 3239, 93, 900, 2809, 1068, 3140, 2829, 2606, 2121, 2017, 3215, 424, 306, 555, 2963, 168, 1364, 1147, 1923, 1286, 774, 1047, 2978, 1574, 1664, 1053, 1513, 1844, 3325, 2964, 2193, 2659, 2588, 2560, 1169, 2843, 744, 1859, 229, 2458, 1483, 1802, 3157, 3, 2751, 2966, 1152, 86, 605, 1045, 1815, 1295, 3262, 583, 2116, 252, 1169, 2730, 1970, 2307, 1190, 1564, 999, 2713, 3181, 2989, 2688, 2819, 312, 1162, 1078, 1070, 2323, 22, 794, 2024, 2348, 1912, 1297, 1978, 964, 1469, 1407, 32, 1440, 2749, 314, 469, 2080, 1776, 830, 2935, 2822, 3175, 1029, 2887, 2770, 1567, 1833, 374, 2105, 3280, 3212, 3088, 603, 1960, 805, 1568, 2549, 1130, 2988, 2754, 306, 2132, 2877, 1388, 2048, 1488, 670, 670, 2502, 3152, 3190, 1381, 1125, 2047, 2066, 1804, 2905, 27, 1386, 2235, 1775, 3033, 1996, 778, 2037, 114, 3325, 666, 3117, 561, 2542, 1471, 1013, 3169, 2995, 789, 1835, 26, 114, 126, 1525, 211, 3257, 1561, 1167, 138, 2001, 3310, 2753, 2904, 1802, 2612, 1691, 3, 528, 1429, 2873, 3177, 293]]
w: [68, 163, 1585, 16, 1716, 11, 3326, 51, 52, 3252, 1770, 1636, 3287, 1786, 1720, 1554, 20, 1550, 1709, 1771, 1697, 12, 1754, 20, 3227, 1698, 42, 1763, 1637, 1607, 1608, 1707, 1790, 1695, 59, 10, 3285, 3274, 1590, 1631, 1625, 9, 3219, 146, 1584, 1612, 55, 1718, 1623, 1815, 1771, 20, 1792, 3222, 78, 1808, 1557, 1786, 3313, 1782, 3233, 1678, 1637, 3310, 1608, 106, 5, 1563, 92, 1584, 3202, 135, 9, 1537, 3282, 1691, 1705, 3312, 1623, 1719, 1595, 1623, 3267, 1613, 1734, 3273, 1564, 1710, 9, 19, 88, 50, 66, 1760, 1615, 27, 1707, 1603, 117, 1602, 1545, 3273, 1559, 3328, 4, 3277, 1698, 32, 1646, 75, 3299, 105, 1651, 1636, 154, 46, 1661, 8, 1742, 1730, 1753, 1537, 36, 3290, 1712, 1806, 1512, 45, 1693, 1571, 9, 1733, 139, 1579, 133, 32, 1555, 29, 1657, 1708, 1720, 3209, 1668, 57, 1611, 39, 3300, 96, 3225, 1615, 1544, 1601, 53, 3301, 26, 1750, 1722, 3231, 78, 3309, 1519, 3323, 53, 1727, 1542, 70, 1593, 127, 1723, 90, 1689, 3263, 16, 1580, 1852, 34, 3256, 1790, 1665, 53, 1649, 52, 13, 3326, 1683, 3276, 1678, 48, 0, 8, 53, 1651, 1676, 3311, 3302, 3247, 3299, 3224, 121, 1613, 1644, 1479, 1744, 3277, 1812, 3319, 3202, 3308, 3319, 1580, 65, 122, 3220, 1629, 1638, 1696, 1643, 1560, 83, 180, 68, 1634, 1549, 3293, 15, 72, 1537, 1598, 3259, 3141, 1620, 3253, 49, 1759, 1718, 1753, 3308, 3210, 1592, 108, 30, 119, 55, 8, 24, 1608, 10, 1692, 3276, 3280, 1788, 1539, 3261, 84, 1703, 1659]
mPrime: 14EC5EFAC3B1976B29DADB605B14D3732B5DE118596516858117E2634C4EA0CC

KPrime: BD7256B242F404869D662F80BF677A16C0C6FC1568CCA5B64582A01A6A142D71
rPrime: 5AE7C624837B9165CB3469F5F573F94FB3B1DE20C97F718135CEA8A97A81DC4D

tHat: [[2100, 2910, 894, 3203, 211, 1162, 2629, 1556, 877, 3231, 2741, 1782, 754, 1696, 2041, 1833, 2399, 1372, 1145, 944, 942, 2457, 2486, 215, 2915, 1271, 168, 2818, 690, 3245, 1974, 2976, 1014, 1834, 3187, 788, 238, 608, 243, 1900, 2769, 2276, 1598, 1710, 2989, 3000, 3020, 2526, 3271, 1968, 107, 3003, 630, 12, 450, 1539, 28, 2170, 2110, 1820, 2831, 388, 725, 2311, 944, 1827, 124, 486, 475, 3111, 176, 3119, 1309, 997, 2574, 1271, 375, 1671, 1849, 3212, 2628, 3000, 1695, 2646, 2638, 1208, 1800, 2522, 2458, 707, 1953, 2, 2097, 2227, 1709, 533, 638, 2787, 1269, 277, 2455, 100, 1442, 3076, 519, 2865, 459, 379, 1286, 408, 575, 1454, 2765, 3095, 573, 115, 2111, 1939, 1957, 2109, 117, 95, 1836, 2335, 2677, 2891, 621, 882, 1797, 3033, 2054, 2535, 2013, 272, 716, 1076, 2640, 39, 2740, 2783, 699, 598, 2316, 2428, 942, 624, 174, 219, 747, 2325, 1682, 1210, 1552, 2697, 2411, 1649, 2893, 160, 3312, 1189, 1966, 2241, 2604, 1609, 2370, 1262, 1488, 1546, 307, 490, 1764, 802, 1216, 2731, 1105, 541, 2384, 247, 1601, 688, 1399, 962, 2597, 1243, 2533, 1893, 2591, 2304, 774, 2200, 2930, 3224, 1911, 207, 3319, 3323, 2237, 984, 3313, 1939, 757, 3135, 579, 3249, 2589, 1365, 3287, 440, 36, 2402, 168, 1436, 2876, 639, 1619, 180, 2771, 2976, 3120, 1862, 2327, 2387, 884, 2136, 3024, 864, 1648, 318, 2084, 2013, 488, 1098, 3152, 1181, 2103, 1910, 127, 3311, 104, 2353, 378, 295, 1577, 421, 606, 3007, 1641, 264, 116, 190, 729, 1635, 2276, 1579, 361, 2286],
[3306, 2722, 203, 2582, 1589, 872, 2765, 1991, 2982, 1675, 33, 579, 1047, 2840, 2561, 1470, 3325, 934, 1287, 2145, 289, 1142, 1590, 2463, 2669, 1253, 1556, 937, 2066, 877, 997, 2563, 456, 729, 439, 366, 1157, 2650, 573, 2136, 2032, 1288, 1759, 1759, 3234, 567, 1465, 1063, 3038, 2463, 228, 2759, 1749, 1150, 201, 3252, 87, 435, 3139, 1004, 1640, 1262, 40, 1659, 2416, 1510, 2550, 608, 1630, 3168, 527, 3250, 2183, 1173, 3046, 2738, 3208, 268, 1772, 559, 2499, 3255, 340, 991, 2955, 2754, 2960, 2466, 2992, 2866, 1072, 1451, 1992, 1051, 1218, 1958, 3012, 1461, 2804, 1752, 63, 926, 3224, 3222, 1600, 172, 1684, 1742, 1270, 1332, 1552, 2641, 1063, 1282, 898, 324, 1717, 678, 10, 2473, 1215, 1787, 3026, 2791, 3027, 2698, 805, 1561, 2137, 2086, 2992, 680, 967, 914, 3120, 895, 902, 2279, 2258, 495, 2278, 3139, 2908, 2499, 2557, 1297, 3035, 3269, 1300, 3108, 705, 1494, 1367, 1981, 83, 1209, 2666, 2913, 2177, 117, 2133, 2558, 1959, 1881, 1958, 3285, 1122, 1067, 1123, 3008, 268, 487, 1832, 2592, 2249, 1326, 1236, 859, 1694, 2910, 1598, 1876, 1013, 3218, 519, 1400, 1837, 876, 1167, 11, 2243, 3186, 2063, 1132, 2485, 2222, 67, 2995, 1974, 3026, 1239, 2888, 218, 2847, 1526, 2372, 585, 2884, 1730, 555, 2908, 792, 2537, 1352, 597, 2978, 111, 913, 1120, 3251, 1820, 1114, 2199, 1095, 213, 2199, 332, 422, 2134, 2672, 343, 1748, 1389, 2462, 867, 636, 1176, 2364, 751, 621, 844, 402, 2320, 2622, 0, 3241, 891, 2117, 498, 2947, 1691, 2218, 291, 2312, 2799, 673],
[2883, 28, 1136, 1795, 160, 1567, 1959, 896, 2964, 3284, 155, 71, 2034, 2420, 2990, 2188, 2481, 448, 254, 1437, 1035, 336, 3141, 915, 3254, 1118, 950, 86, 2810, 1726, 1109, 2938, 1430, 87, 2302, 1571, 1954, 2774, 191, 1470, 401, 2568, 357, 2192, 307, 1625, 2574, 2634, 422, 1677, 1107, 2339, 2422, 2287, 1039, 3284, 1650, 342, 3270, 353, 113, 2371, 3032, 154, 3132, 1818, 242, 1000, 2429, 259, 1438, 15, 3228, 713, 2010, 2943, 934, 1963, 1075, 2442, 1153, 3007, 605, 1111, 3233, 1284, 2114, 194, 2166, 1258, 1123, 2527, 269, 2518, 1862, 573, 1978, 1146, 2723, 2315, 2982, 1599, 2682, 473, 704, 1666, 3325, 69, 2109, 3249, 673, 2213, 712, 606, 2497, 575, 3281, 2124, 2034, 2286, 3109, 973, 974, 1337, 2761, 3117, 685, 1703, 1657, 1183, 64, 472, 213, 487, 3323, 2957, 2058, 2601, 857, 3289, 127, 1432, 19, 2914, 561, 1815, 1926, 2964, 2422, 2218, 1655, 2145, 752, 161, 2821, 195, 1092, 1543, 1347, 2192, 3087, 2814, 1827, 1492, 476, 444, 2752, 2504, 2399, 677, 2747, 337, 317, 2955, 131, 1292, 1662, 2299, 120, 2590, 2893, 3070, 1774, 540, 2785, 1680, 2742, 2813, 426, 1721, 1363, 825, 2277, 0, 380, 2180, 1486, 3200, 354, 29, 3028, 477, 1267, 1292, 3115, 2216, 1505, 1860, 904, 1770, 1709, 1618, 3263, 2874, 1569, 39, 2945, 2509, 3239, 1890, 1556, 835, 4, 2698, 3306, 91, 906, 2610, 1862, 1528, 2985, 2838, 650, 3276, 1008, 2953, 1448, 1653, 312, 3297, 3284, 3047, 2078, 478, 44, 2031, 3139, 1167, 2418, 128, 1107, 791, 1544, 1528, 1282, 1564]]

bHat = aHat^T: [[[504, 2561, 2088, 2399, 2069, 274, 1069, 2208, 2645, 1765, 1640, 521, 787, 2050, 2822, 2997, 781, 1188, 2933, 1171, 2759, 2455, 950, 891, 348, 2834, 1385, 700, 1585, 1576, 576, 291, 1843, 662, 3091, 3142, 1490, 1488, 281, 1242, 1900, 2462, 444, 691, 3262, 184, 1193, 2680, 550, 1625, 2801, 1621, 3120, 1201, 194, 326, 2485, 1941, 1407, 959, 2886, 2526, 1406, 1385, 2114, 3007, 2940, 1188, 2724, 2563, 3055, 2818, 327, 564, 63, 1667, 3065, 1932, 5, 1290, 3017, 331, 419, 224, 2851, 2633, 3076, 2962, 2068, 2099, 1693, 1130, 2106, 1270, 441, 1013, 1765, 458, 2772, 2202, 1835, 1049, 2259, 2454, 2650, 1365, 1627, 2967, 3093, 1882, 2911, 510, 2129, 642, 2237, 2085, 2050, 864, 2870, 1072, 2052, 2223, 2191, 2426, 957, 447, 1237, 2365, 2069, 1161, 1049, 936, 1374, 3132, 608, 1800, 3108, 2674, 3265, 1940, 426, 771, 1148, 328, 2337, 2425, 117, 3062, 664, 653, 1628, 2268, 2932, 365, 1186, 3233, 3026, 2257, 2522, 1096, 3141, 1785, 2330, 1394, 717, 1691, 38, 1601, 2433, 2305, 538, 673, 3275, 421, 2579, 405, 892, 1534, 1396, 1827, 648, 1721, 2241, 698, 265, 43, 2673, 1673, 2438, 1445, 3143, 2364, 561, 831, 1097, 2447, 473, 2584, 518, 2594, 1930, 160, 3103, 523, 818, 1547, 2342, 1909, 220, 405, 2025, 1972, 1353, 2370, 1261, 2552, 736, 1993, 514, 2503, 97, 2700, 1505, 619, 3128, 2609, 2608, 2280, 826, 1528, 3181, 1835, 1107, 739, 1033, 587, 512, 828, 2049, 588, 2052, 1067, 2020, 3175, 2234, 1586, 2374, 1862, 1807, 1121, 2289, 760, 1079, 1776, 657, 1874],
[1435, 2714, 2093, 2896, 517, 494, 2247, 2648, 2828, 2715, 1739, 878, 392, 376, 1827, 2132, 2803, 1460, 2753, 59, 1064, 724, 934, 1041, 1642, 3064, 1629, 1249, 1891, 2787, 2524, 2964, 271, 2785, 3317, 3054, 3050, 1946, 149, 2757, 2099, 3066, 2070, 126, 3059, 1287, 817, 663, 846, 1671, 669, 1630, 230, 134, 1851, 956, 3227, 144, 2684, 1896, 1365, 793, 453, 804, 895, 1377, 1305, 3144, 614, 414, 2549, 1391, 511, 565, 2795, 1321, 1259, 1745, 2527, 508, 1770, 1839, 1316, 2127, 1302, 1044, 2759, 2112, 669, 453, 2185, 349, 2549, 3017, 3173, 1789, 2817, 2493, 658, 2102, 297, 2025, 816, 1083, 970, 372, 1964, 906, 823, 2432, 2817, 2965, 2882, 2338, 3005, 2385, 1198, 521, 2632, 1714, 159, 2135, 31, 3278, 1230, 1100, 479, 1492, 642, 111, 1104, 939, 901, 2950, 1227, 2008, 873, 1790, 1779, 1706, 781, 1017, 1747, 2670, 1125, 2139, 1174, 726, 1934, 3180, 1299, 988, 473, 266, 2481, 2115, 1483, 3244, 499, 1211, 492, 1495, 3301, 1054, 3261, 3169, 560, 2466, 2040, 1180, 1126, 1371, 342, 917, 215, 2825, 1900, 1015, 3253, 1106, 1878, 3052, 2792, 1743, 152, 1733, 2732, 1031, 1338, 2118, 285, 1338, 1878, 3325, 2550, 219, 2947, 247, 1082, 1126, 2652, 2538, 2871, 2715, 2810, 2969, 3131, 258, 844, 578, 3197, 3069, 2519, 2894, 2860, 1627, 1428, 1206, 628, 2543, 335, 1101, 227, 2985, 2607, 2666, 2251, 2018, 613, 1187, 3057, 1355, 2599, 2119, 960, 2002, 343, 453, 3082, 964, 1855, 3167, 1176, 1334, 2813, 2580, 698, 2624, 1672, 1906, 1836, 984, 2838, 1044, 1528, 479],
[173, 872, 2311, 901, 2233, 305, 1614, 153, 2648, 1301, 1372, 1173, 1956, 1923, 1074, 1787, 827, 802, 2238, 1507, 360, 2287, 530, 52, 1078, 2726, 3283, 323, 995, 1454, 38, 1260, 3029, 1150, 1296, 605, 307, 1490, 1189, 1163, 2788, 1006, 311, 1585, 712, 2709, 2767, 1200, 2872, 1181, 2113, 681, 21, 240, 1383, 2755, 2439, 2202, 1396, 148, 2791, 1213, 431, 3074, 1902, 655, 2953, 2758, 1289, 2689, 1210, 2897, 562, 1719, 1022, 1480, 3242, 1193, 2429, 1038, 596, 1432, 515, 12, 1484, 2369, 3012, 1330, 1834, 279, 1301, 421, 2313, 2182, 139, 1734, 1923, 2672, 2362, 200, 1017, 843, 596, 724, 346, 894, 2515, 1914, 3208, 1104, 2891, 381, 751, 321, 2038, 2740, 2049, 315, 3109, 672, 1259, 2627, 2576, 2376, 3229, 185, 19, 2373, 2249, 311, 720, 2180, 1752, 1684, 2874, 1873, 242, 1445, 1156, 826, 2464, 2821, 1976, 340, 1973, 3163, 2666, 3216, 343, 1948, 1672, 2281, 3079, 1685, 1856, 1883, 714, 758, 223, 2844, 2117, 1899, 2167, 806, 2296, 72, 160, 1508, 2985, 2758, 671, 638, 2766, 89, 2292, 2447, 1963, 448, 1878, 1446, 2991, 2114, 405, 2676, 2944, 1891, 1392, 1271, 1018, 714, 166, 2714, 1782, 2490, 2039, 1542, 2674, 1223, 1699, 2470, 67, 2778, 2201, 1330, 607, 116, 1375, 2339, 2912, 1032, 2632, 1539, 1349, 357, 288, 877, 962, 2331, 2148, 1493, 797, 2809, 1334, 1087, 1515, 228, 494, 1690, 2989, 2906, 2594, 576, 146, 1646, 451, 2629, 1249, 459, 990, 1058, 2371, 1143, 711, 63, 2602, 208, 961, 1872, 2135, 1727, 1865, 460, 2063, 1377, 1961, 674]],
[[877, 2689, 1314, 2901, 2383, 2676, 776, 1093, 373, 619, 2108, 1575, 302, 2884, 2512, 3312, 354, 3190, 2488, 1489, 450, 2083, 950, 3219, 1736, 858, 990, 1726, 1010, 268, 1985, 2456, 2400, 1322, 1692, 792, 830, 2967, 1496, 305, 1859, 3199, 181, 773, 737, 654, 2211, 2472, 1979, 1700, 1487, 481, 1512, 1996, 704, 3195, 1924, 577, 2456, 2113, 620, 1900, 747, 1711, 3029, 330, 3103, 344, 1648, 193, 1535, 2411, 1276, 3311, 2481, 2874, 391, 101, 2934, 877, 2063, 1063, 528, 89, 2131, 2800, 2878, 1023, 1280, 851, 1870, 2841, 1500, 1453, 1779, 1740, 447, 3105, 1459, 2871, 1054, 2457, 2503, 2298, 2740, 2664, 3326, 703, 2697, 1073, 588, 1797, 146, 3163, 482, 3245, 328, 2927, 1894, 1676, 2011, 2012, 3326, 2628, 2114, 51, 9, 325, 3212, 2441, 104, 1908, 2893, 2419, 1131, 2260, 1076, 3290, 3303, 1284, 1342, 272, 1042, 499, 2096, 697, 94, 1653, 3156, 1314, 707, 132, 540, 395, 3132, 2127, 2717, 2405, 827, 593, 224, 2818, 1100, 1236, 1585, 3159, 2404, 2160, 657, 1064, 1578, 1321, 1941, 1275, 1228, 943, 2773, 3179, 1719, 1584, 940, 2966, 2024, 843, 1858, 2536, 1122, 2306, 3257, 1191, 1368, 83, 2567, 1552, 1912, 286, 2792, 183, 1800, 705, 1242, 1652, 469, 555, 123, 2646, 950, 3230, 941, 3104, 2895, 1836, 592, 1449, 95, 3121, 2440, 2724, 1799, 1139, 214, 494, 534, 2152, 2559, 1648, 1041, 1856, 1250, 1418, 3159, 1988, 1690, 162, 711, 1731, 1316, 1566, 2396, 2183, 2879, 907, 2796, 3073, 100, 3060, 2629, 2117, 2826, 3135, 2089, 3126, 301, 1620, 3086, 2870],
[2030, 1476, 1307, 1939, 469, 688, 102, 935, 1684, 2508, 2703, 2261, 3181, 7, 1626, 2393, 1204, 1721, 1179, 1497, 2130, 2115, 1335, 1073, 2528, 773, 949, 2385, 562, 2111, 2643, 2432, 2674, 570, 3076, 2459, 1549, 322, 964, 2775, 1385, 727, 3251, 844, 3017, 305, 1718, 74, 246, 2901, 2480, 2465, 2876, 2534, 2461, 2405, 2370, 1091, 3058, 2925, 174, 1887, 1655, 868, 666, 3224, 639, 1967, 7, 323, 668, 2464, 496, 2743, 2606, 2358, 2146, 503, 1470, 377, 1935, 1406, 2879, 2045, 1266, 3100, 1121, 822, 2643, 953, 310, 816, 1910, 671, 3122, 780, 1930, 1547, 2064, 63, 651, 1358, 3187, 2051, 1087, 3039, 400, 2813, 2661, 466, 1380, 3102, 1423, 587, 760, 2773, 217, 520, 843, 309, 2936, 2653, 59, 2991, 310, 1523, 2450, 901, 245, 1000, 1998, 543, 1124, 2506, 783, 1442, 652, 2915, 636, 3058, 601, 264, 1463, 2600, 194, 831, 609, 871, 1298, 811, 913, 2155, 2352, 3094, 1291, 2202, 2384, 1109, 407, 419, 2011, 252, 929, 2402, 2480, 610, 2196, 1179, 365, 383, 1843, 690, 3274, 843, 1526, 180, 340, 2717, 246, 1660, 1494, 2922, 1744, 1293, 674, 3307, 2035, 3176, 1011, 2997, 187, 2305, 2535, 3095, 2049, 1458, 3089, 479, 1693, 2935, 1871, 1208, 2406, 1548, 59, 2275, 172, 2777, 1653, 1702, 2404, 1153, 19, 2692, 722, 2679, 2435, 1039, 2537, 10, 410, 485, 2369, 465, 1481, 1427, 2357, 2868, 2171, 2474, 2812, 2681, 3184, 388, 2601, 468, 2609, 1566, 1300, 848, 1776, 1073, 3059, 2328, 1887, 1799, 2995, 3099, 498, 2584, 2918, 591, 2214, 709, 837, 2916],
[1699, 1753, 2869, 3202, 1534, 2495, 1639, 2474, 3258, 502, 315, 2343, 2767, 2558, 782, 3300, 763, 719, 2597, 770, 1299, 2184, 1891, 2564, 2579, 328, 818, 105, 2248, 2130, 2559, 2964, 2411, 3256, 835, 1059, 3154, 2224, 2134, 2836, 2372, 2213, 2197, 941, 688, 2759, 3100, 3214, 1206, 482, 761, 1515, 684, 3073, 130, 3204, 177, 2931, 1937, 283, 51, 2569, 2983, 2924, 1276, 595, 225, 2274, 1372, 1458, 31, 931, 537, 359, 47, 710, 3270, 735, 549, 1245, 2463, 1829, 2641, 3320, 451, 2958, 3219, 2582, 2743, 2170, 603, 426, 1730, 3270, 1241, 2177, 341, 2549, 2362, 1529, 2581, 1944, 3265, 1705, 1458, 1757, 966, 350, 1235, 2974, 1305, 1257, 1476, 818, 2677, 742, 1442, 3305, 2688, 1263, 5, 2460, 1315, 3313, 1831, 1135, 1908, 2076, 1739, 2340, 1771, 592, 1136, 346, 528, 3141, 756, 302, 1663, 341, 3211, 2052, 3228, 1009, 124, 3147, 591, 66, 1445, 2356, 106, 1276, 1299, 2065, 382, 1965, 2930, 2989, 1787, 2113, 1759, 2501, 1978, 1898, 591, 406, 3110, 1522, 3239, 1451, 2368, 2957, 2291, 582, 2707, 370, 871, 3257, 1335, 1495, 1790, 27, 1934, 2767, 1933, 2027, 3172, 2031, 880, 916, 193, 695, 2225, 817, 2187, 549, 2, 2608, 31, 1501, 1901, 853, 2148, 2952, 1211, 270, 477, 820, 2580, 2250, 95, 651, 1475, 360, 2596, 660, 353, 2985, 1346, 33, 2966, 2156, 1732, 2577, 2902, 148, 979, 2601, 1659, 1423, 368, 1435, 2324, 1147, 996, 3191, 2176, 1055, 3219, 427, 3077, 2739, 2896, 3220, 693, 2421, 1259, 893, 3075, 3112, 1219, 218, 3006, 2683, 260, 1594]],
[[944, 2368, 2787, 2753, 1705, 169, 2455, 2348, 1200, 3008, 513, 1731, 441, 2153, 493, 2496, 1405, 2360, 2147, 2699, 1629, 2955, 353, 2774, 1471, 1444, 1430, 2000, 2051, 956, 2517, 3193, 1350, 1581, 2066, 2621, 2178, 866, 1706, 420, 1024, 428, 1180, 2236, 31, 2331, 2615, 2312, 3054, 2288, 485, 1167, 2293, 946, 3103, 2625, 3258, 2567, 2840, 2568, 2198, 1295, 3081, 1233, 334, 269, 2864, 1981, 1823, 646, 1377, 757, 1997, 183, 1819, 2432, 2779, 2861, 2612, 975, 1288, 2691, 2196, 864, 441, 2778, 799, 1224, 2825, 1130, 3188, 2877, 2661, 1563, 476, 3208, 3266, 1094, 338, 56, 936, 210, 563, 3179, 628, 604, 1738, 3232, 1899, 2116, 1616, 2938, 3075, 446, 971, 166, 2634, 2641, 2881, 1533, 3082, 2998, 834, 2501, 1380, 2904, 1934, 3302, 3194, 1864, 543, 668, 3162, 3136, 1542, 1482, 336, 140, 2347, 938, 1300, 2734, 2140, 347, 283, 1220, 1000, 1185, 2426, 1996, 1903, 1608, 2316, 500, 2018, 2520, 1712, 825, 464, 2240, 1720, 1602, 868, 1703, 1748, 495, 2972, 432, 2901, 687, 1700, 512, 532, 2738, 2935, 2770, 434, 425, 1358, 2528, 623, 574, 1719, 589, 2229, 2713, 524, 2083, 630, 2900, 122, 3289, 23, 1215, 678, 2081, 423, 3004, 1949, 72, 1439, 1410, 66, 1038, 989, 1498, 2423, 3096, 3191, 1954, 523, 965, 753, 515, 99, 1500, 634, 3144, 1190, 2916, 1319, 3141, 1491, 2471, 1143, 2160, 2206, 1933, 1550, 1899, 2968, 396, 2964, 947, 456, 2026, 1666, 2535, 2078, 2911, 53, 2785, 1750, 1115, 197, 1643, 137, 499, 3078, 1343, 2495, 1636, 1800, 1670, 842, 3096],
[701, 632, 1748, 2683, 1252, 1738, 953, 2885, 2065, 3283, 1280, 65, 150, 2085, 687, 1257, 1828, 3211, 3204, 3016, 2508, 3259, 2379, 1469, 2774, 2441, 1831, 979, 1840, 2930, 250, 2733, 2091, 1663, 126, 2994, 2941, 124, 1260, 2555, 813, 462, 1359, 1108, 2598, 1961, 453, 228, 1688, 2019, 745, 1924, 3183, 2730, 2857, 970, 853, 3174, 2550, 1691, 2114, 1921, 1568, 1852, 2851, 2882, 2838, 914, 377, 1767, 1026, 602, 1162, 691, 16, 2105, 1066, 2449, 2264, 3126, 1580, 1207, 927, 2682, 658, 2350, 456, 2203, 1390, 1665, 2836, 3194, 1357, 315, 1680, 787, 2404, 681, 3128, 55, 645, 225, 2332, 2371, 297, 831, 865, 1022, 2016, 2860, 1134, 3159, 3000, 1703, 2896, 1555, 858, 1331, 3113, 2002, 637, 1153, 133, 1369, 2392, 1332, 1122, 2070, 1858, 2577, 2766, 1889, 1808, 3322, 2828, 1534, 1708, 1433, 561, 1073, 2651, 2576, 3219, 493, 1964, 2504, 1388, 1955, 670, 285, 1201, 2333, 3009, 1526, 3324, 2845, 2875, 12, 734, 381, 3094, 1188, 2567, 981, 1434, 2909, 3229, 1392, 885, 553, 329, 2917, 1254, 1733, 2306, 3163, 2760, 90, 2761, 2545, 2023, 1064, 1617, 485, 1501, 1834, 417, 740, 2618, 1530, 2781, 3183, 933, 2813, 163, 2695, 2418, 2915, 1864, 2416, 3096, 11, 3251, 208, 2963, 3042, 1177, 802, 1301, 893, 1178, 2365, 1836, 913, 990, 44, 858, 1250, 1826, 1028, 2652, 2647, 1886, 857, 3109, 2386, 2999, 309, 1793, 2014, 1510, 484, 1292, 1250, 826, 2990, 3286, 2879, 249, 1737, 2728, 1980, 2468, 1574, 212, 1477, 1690, 1738, 1462, 2880, 1990, 209, 37, 2970, 327, 2770],
[454, 1606, 3133, 139, 2795, 769, 2212, 86, 131, 527, 505, 544, 2963, 2093, 2911, 982, 2357, 2477, 3171, 1936, 232, 94, 2258, 2957, 1822, 2592, 2248, 591, 644, 2553, 56, 2399, 2031, 2479, 512, 2031, 2073, 696, 2997, 1479, 2115, 1333, 2071, 2112, 2857, 1975, 1589, 739, 1865, 1143, 1707, 1359, 878, 2913, 2013, 269, 1244, 218, 2514, 829, 577, 3189, 3005, 1949, 2682, 1797, 927, 551, 1430, 2855, 2441, 1418, 2388, 828, 750, 2561, 2617, 908, 1994, 576, 3117, 701, 3133, 327, 2484, 2193, 3224, 941, 276, 1944, 2895, 2002, 2352, 1759, 1646, 1277, 93, 262, 2000, 755, 3251, 2887, 96, 2626, 2898, 826, 558, 238, 1874, 3065, 2603, 412, 2462, 2709, 216, 2452, 3234, 2320, 2180, 2328, 3309, 2342, 2563, 1471, 1771, 1419, 2533, 684, 1128, 2261, 1698, 245, 1626, 1846, 330, 1136, 3169, 3277, 316, 635, 1532, 672, 6, 2971, 2318, 2494, 1756, 1532, 3120, 888, 1856, 1097, 17, 654, 2313, 2165, 3316, 1952, 73, 254, 2355, 3106, 62, 3157, 2767, 2106, 109, 2500, 454, 2668, 988, 961, 2317, 1731, 480, 346, 2506, 3081, 1855, 1033, 1453, 1419, 2298, 2688, 1949, 966, 2697, 2766, 2787, 2752, 1609, 2440, 1453, 2303, 3002, 2149, 3135, 1694, 100, 2178, 1566, 2395, 485, 1617, 288, 2597, 236, 99, 1462, 1487, 734, 1105, 2786, 3195, 634, 2823, 1219, 539, 2446, 3027, 1322, 3251, 887, 571, 2691, 1538, 3111, 661, 454, 2600, 2306, 1674, 727, 206, 2435, 2979, 1853, 2309, 379, 2419, 196, 2090, 2423, 1876, 2189, 2, 3270, 506, 2055, 1309, 736, 2176, 1070, 633, 1274, 3239]]]

r: [[1, 0, 3327, 3328, 0, 0, 0, 3328, 1, 0, 0, 3328, 1, 0, 3328, 1, 0, 0, 1, 0, 0, 0, 3328, 0, 0, 0, 3328, 0, 3328, 3328, 1, 2, 0, 0, 1, 3328, 1, 1, 0, 1, 0, 3328, 0, 3327, 2, 3328, 0, 1, 0, 0, 2, 3328, 2, 1, 3328, 3328, 3328, 3328, 0, 1, 0, 1, 0, 1, 0, 3328, 3328, 0, 0, 0, 2, 2, 3328, 3328, 1, 3328, 2, 1, 0, 1, 1, 0, 1, 1, 3327, 0, 0, 1, 1, 0, 0, 0, 3328, 3328, 3328, 0, 3328, 3328, 3327, 3328, 2, 0, 1, 3328, 0, 0, 0, 3327, 3328, 0, 0, 0, 3328, 1, 0, 0, 0, 3328, 3328, 1, 3328, 1, 1, 1, 3327, 3327, 1, 1, 3328, 3328, 0, 1, 3327, 1, 3328, 0, 1, 1, 0, 0, 0, 3328, 3328, 1, 3328, 3328, 0, 2, 3328, 1, 2, 2, 3328, 1, 2, 3328, 0, 0, 3328, 3328, 1, 3327, 0, 0, 2, 0, 0, 2, 0, 0, 1, 1, 0, 0, 1, 1, 3328, 3328, 0, 3328, 3328, 1, 0, 3327, 2, 3328, 1, 3328, 3328, 3328, 1, 1, 1, 0, 3328, 0, 1, 3327, 1, 0, 0, 1, 1, 1, 0, 0, 0, 0, 3327, 0, 0, 0, 1, 3328, 0, 3328, 0, 1, 0, 0, 0, 0, 0, 0, 3328, 3327, 2, 0, 3328, 0, 0, 3327, 3328, 1, 3328, 3327, 1, 3327, 0, 0, 3327, 1, 3328, 3328, 0, 2, 3327, 3328, 0, 0, 0, 2, 0, 3328, 0, 3328],
[2, 3327, 0, 1, 3328, 3328, 0, 2, 3328, 1, 2, 1, 1, 1, 0, 3328, 2, 3328, 0, 3327, 3328, 1, 2, 0, 0, 0, 1, 0, 1, 3328, 1, 0, 3328, 0, 3327, 1, 0, 0, 3328, 3328, 3327, 0, 1, 3328, 0, 1, 3328, 1, 2, 3328, 1, 0, 3328, 1, 1, 3328, 3328, 1, 0, 1, 3328, 3328, 0, 3328, 0, 0, 1, 3328, 3328, 2, 1, 0, 0, 0, 1, 0, 2, 0, 3328, 0, 0, 0, 2, 0, 2, 3328, 0, 3328, 0, 1, 0, 1, 3328, 0, 0, 0, 1, 0, 0, 0, 0, 0, 3328, 3328, 0, 3328, 3328, 3328, 0, 2, 3328, 0, 0, 0, 2, 3328, 0, 0, 1, 0, 3327, 0, 3328, 0, 1, 1, 0, 0, 1, 0, 1, 0, 3327, 0, 3327, 0, 1, 1, 3327, 0, 1, 1, 1, 3328, 3328, 1, 3328, 1, 0, 1, 1, 1, 3328, 0, 0, 1, 3328, 0, 1, 0, 1, 0, 3328, 1, 0, 1, 1, 3328, 1, 1, 1, 1, 3328, 1, 0, 3328, 3327, 0, 1, 1, 0, 3328, 3328, 3327, 0, 0, 2, 0, 0, 1, 1, 0, 0, 3328, 0, 0, 1, 3327, 1, 2, 3327, 0, 1, 0, 1, 1, 0, 0, 0, 0, 2, 0, 0, 3328, 3328, 1, 0, 1, 0, 0, 1, 0, 0, 3328, 0, 0, 3328, 0, 0, 0, 3328, 0, 0, 1, 0, 1, 0, 1, 0, 3328, 1, 0, 2, 3328, 3328, 3328, 0, 3327, 0, 0, 1, 1, 3328, 0, 0, 2],
[0, 3328, 3328, 0, 3328, 1, 0, 0, 0, 3327, 3327, 0, 3328, 0, 3328, 0, 3328, 0, 3328, 3328, 3328, 1, 3327, 0, 1, 0, 1, 0, 0, 1, 3328, 1, 1, 3327, 3328, 3328, 0, 3328, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 0, 3328, 0, 1, 3327, 3328, 3328, 0, 0, 3328, 3328, 3328, 3328, 0, 1, 1, 0, 2, 3327, 3328, 0, 0, 0, 3328, 3328, 1, 3327, 1, 1, 3327, 1, 3328, 3328, 1, 1, 2, 2, 3328, 3328, 1, 0, 0, 0, 0, 3328, 2, 1, 3327, 0, 0, 3327, 0, 1, 0, 1, 3328, 3328, 1, 2, 3328, 2, 1, 0, 1, 0, 3328, 3328, 0, 3327, 1, 1, 1, 0, 1, 0, 1, 3328, 0, 0, 2, 0, 2, 0, 0, 1, 0, 0, 1, 1, 0, 1, 2, 0, 1, 0, 1, 1, 3327, 0, 0, 3328, 3328, 0, 2, 1, 3328, 3328, 1, 3328, 3328, 0, 3328, 1, 1, 1, 1, 3328, 1, 0, 0, 0, 0, 3328, 3328, 0, 3328, 1, 3327, 1, 3328, 0, 0, 0, 3327, 0, 3328, 3328, 3328, 3328, 0, 3328, 0, 1, 0, 0, 0, 1, 0, 2, 0, 0, 1, 0, 3327, 3328, 1, 0, 1, 0, 0, 0, 2, 3328, 3328, 1, 0, 1, 1, 0, 3327, 1, 3328, 0, 3328, 3328, 3328, 1, 0, 1, 1, 0, 1, 0, 1, 0, 3327, 3328, 0, 3328, 3328, 0, 3328, 2, 1, 0, 3328, 0, 3328, 3328, 0, 3327, 0, 0, 3327, 0, 3328, 0, 2]]

e1: [[0, 2, 0, 0, 1, 3328, 0, 0, 1, 3328, 3328, 0, 0, 3327, 3327, 3327, 3328, 3328, 1, 1, 3327, 0, 1, 0, 1, 0, 3327, 0, 1, 1, 3327, 1, 2, 1, 1, 0, 3328, 1, 0, 0, 2, 3328, 0, 0, 2, 0, 3328, 0, 0, 0, 0, 3328, 1, 2, 1, 3328, 0, 1, 3328, 0, 0, 0, 0, 1, 3328, 0, 3327, 1, 0, 1, 0, 3328, 0, 0, 2, 2, 3328, 1, 0, 0, 3328, 1, 0, 0, 1, 3328, 0, 1, 3327, 3328, 3328, 2, 3327, 1, 3328, 3328, 0, 3328, 0, 3328, 3328, 3327, 1, 3328, 3328, 1, 3328, 0, 0, 3328, 0, 3328, 3327, 2, 3328, 0, 3328, 0, 1, 1, 0, 1, 1, 3328, 0, 3328, 3328, 3328, 0, 0, 3327, 0, 2, 1, 3327, 1, 3328, 1, 0, 0, 1, 1, 2, 3328, 1, 0, 0, 3328, 1, 1, 1, 0, 3328, 0, 0, 3328, 0, 3328, 0, 3328, 0, 1, 0, 1, 0, 0, 3328, 1, 1, 0, 1, 0, 1, 3328, 0, 2, 0, 0, 2, 0, 0, 0, 1, 1, 3328, 3328, 3328, 0, 3328, 3327, 3328, 0, 0, 0, 3328, 0, 1, 2, 3328, 3327, 3328, 0, 3328, 0, 3328, 0, 0, 1, 0, 0, 0, 1, 3328, 0, 0, 0, 1, 0, 3327, 3327, 0, 3328, 1, 1, 3328, 3327, 0, 3328, 3327, 1, 3328, 0, 3328, 0, 1, 0, 0, 1, 3327, 0, 0, 0, 2, 0, 0, 0, 1, 0, 2, 0, 3328, 0, 1, 0, 3327, 0],
[1, 0, 0, 3328, 3328, 3328, 0, 0, 3328, 0, 3328, 0, 1, 1, 3328, 0, 0, 3328, 3328, 0, 0, 1, 3327, 0, 2, 3327, 3328, 0, 0, 0, 1, 1, 0, 0, 3328, 0, 1, 3328, 3327, 0, 1, 3328, 0, 1, 0, 1, 0, 0, 1, 3328, 3327, 3327, 3328, 1, 3328, 0, 0, 0, 0, 3328, 0, 1, 1, 1, 3327, 1, 1, 0, 0, 0, 1, 2, 3328, 3328, 0, 0, 3328, 0, 1, 1, 3328, 0, 2, 3328, 2, 3328, 0, 0, 3328, 0, 3328, 3327, 1, 2, 1, 0, 1, 3328, 3328, 0, 3328, 3328, 1, 0, 0, 3327, 3327, 0, 2, 1, 2, 0, 2, 1, 0, 3328, 1, 1, 3328, 1, 0, 0, 1, 1, 0, 0, 0, 3328, 0, 3328, 0, 0, 1, 2, 2, 3328, 0, 0, 1, 3328, 3328, 3328, 0, 3328, 3328, 0, 3328, 1, 1, 3327, 3328, 1, 0, 0, 3328, 1, 1, 0, 3328, 0, 3328, 0, 3327, 1, 1, 1, 3328, 3328, 3328, 0, 1, 0, 3328, 1, 1, 3328, 1, 0, 2, 0, 0, 3328, 1, 3328, 0, 3327, 3328, 3328, 2, 0, 3328, 1, 3328, 1, 2, 1, 1, 0, 1, 3328, 1, 0, 0, 1, 3328, 1, 0, 1, 0, 3327, 0, 0, 3327, 1, 3328, 3327, 1, 3328, 1, 0, 0, 3328, 0, 3327, 1, 0, 1, 0, 1, 3328, 0, 3327, 1, 0, 1, 2, 3328, 0, 1, 1, 0, 3328, 0, 1, 3328, 3327, 0, 1, 1, 3327, 3328, 1, 3328, 1, 3328, 3328],
[3328, 3328, 1, 0, 3328, 0, 1, 0, 3327, 1, 0, 0, 1, 0, 0, 2, 0, 3328, 0, 3328, 0, 3328, 0, 2, 0, 3327, 2, 1, 1, 0, 3328, 1, 0, 0, 3327, 3327, 0, 3327, 0, 3328, 1, 0, 2, 1, 3328, 0, 1, 1, 3328, 3328, 0, 1, 1, 0, 1, 1, 1, 0, 0, 0, 3328, 3328, 3328, 1, 3327, 1, 0, 1, 1, 3328, 0, 0, 0, 3328, 0, 1, 3328, 0, 1, 0, 0, 0, 1, 0, 0, 1, 3328, 0, 1, 2, 3328, 3328, 0, 3328, 3328, 1, 3328, 0, 3327, 1, 0, 3328, 0, 0, 0, 1, 0, 0, 3327, 1, 3327, 0, 0, 1, 2, 2, 1, 0, 1, 1, 3328, 3328, 3328, 0, 0, 0, 1, 2, 0, 0, 2, 1, 1, 2, 0, 2, 0, 3327, 3327, 1, 0, 1, 0, 0, 1, 0, 0, 1, 3328, 3328, 1, 0, 1, 0, 2, 0, 3328, 0, 3328, 0, 3328, 3328, 0, 3328, 1, 3328, 0, 1, 2, 3328, 1, 3327, 1, 0, 3328, 1, 3328, 3328, 1, 0, 0, 3328, 2, 1, 0, 3328, 0, 0, 0, 3328, 0, 2, 0, 1, 2, 1, 3328, 1, 1, 0, 3328, 1, 3327, 1, 0, 2, 0, 0, 0, 1, 3327, 3327, 3328, 3327, 3327, 1, 0, 0, 1, 0, 2, 0, 3327, 3328, 3328, 1, 2, 1, 0, 3328, 1, 3328, 1, 1, 0, 3328, 3328, 0, 0, 0, 0, 0, 3328, 1, 0, 1, 3328, 3328, 3328, 1, 0, 0, 1, 0, 3328, 3328]]

e2: [0, 3328, 1, 3328, 1, 0, 2, 3328, 0, 0, 1, 0, 1, 1, 0, 2, 0, 3328, 0, 2, 2, 0, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 2, 3328, 0, 1, 0, 0, 1, 3328, 2, 1, 0, 3328, 3327, 0, 1, 0, 0, 1, 3328, 3328, 0, 1, 1, 0, 3328, 3328, 3327, 0, 3327, 3328, 1, 1, 0, 1, 0, 0, 0, 3328, 0, 3327, 0, 0, 0, 0, 0, 1, 3328, 0, 0, 1, 0, 0, 0, 1, 3327, 3328, 0, 0, 0, 3328, 3328, 3327, 3328, 1, 3328, 0, 0, 0, 2, 0, 1, 3328, 3328, 3328, 1, 3328, 3328, 0, 1, 0, 3328, 0, 3328, 1, 0, 0, 0, 3327, 0, 1, 0, 3328, 0, 3328, 1, 0, 1, 3328, 1, 0, 1, 0, 1, 2, 1, 0, 2, 3328, 3328, 1, 3327, 0, 1, 0, 2, 3328, 3328, 3328, 3328, 1, 0, 0, 3328, 0, 0, 1, 0, 3328, 0, 0, 3328, 3328, 0, 0, 3328, 1, 0, 0, 1, 3327, 0, 1, 2, 1, 0, 1, 0, 0, 0, 0, 1, 3328, 0, 0, 0, 0, 1, 0, 1, 0, 1, 2, 3328, 3328, 0, 3328, 0, 0, 0, 2, 1, 1, 3328, 1, 0, 0, 0, 1, 3328, 0, 0, 3328, 0, 0, 1, 3327, 0, 2, 1, 0, 1, 0, 1, 0, 3327, 0, 3327, 1, 3328, 0, 0, 0, 0, 0, 3327, 2, 0, 0, 0, 1, 3328, 3328, 3328, 0, 1, 1, 0, 0, 3328, 3328, 3328, 3328, 0, 3328]
rHat: [[1307, 1115, 2843, 2750, 53, 3232, 564, 1601, 2979, 2813, 1924, 1256, 1363, 633, 2606, 249, 2826, 2564, 2747, 1538, 2332, 21, 893, 2167, 611, 3127, 2608, 1426, 1081, 1514, 1018, 510, 1079, 399, 1279, 509, 1997, 1460, 2516, 2053, 1757, 3107, 2995, 277, 1354, 446, 322, 2854, 419, 2019, 1109, 335, 869, 2546, 3265, 2635, 1718, 1225, 3045, 2903, 803, 2065, 999, 516, 2535, 320, 933, 3171, 1749, 1406, 2421, 1363, 1268, 586, 1371, 1555, 497, 496, 699, 3237, 1947, 2316, 804, 831, 3009, 1795, 2522, 2963, 1788, 785, 373, 1016, 2314, 2753, 2892, 3128, 246, 2345, 2091, 1837, 2095, 2036, 1994, 1765, 883, 1531, 209, 2778, 1779, 676, 205, 2197, 806, 2525, 2371, 3288, 158, 531, 2376, 8, 2869, 1665, 2627, 2850, 221, 2139, 1131, 1301, 2577, 80, 1259, 203, 1327, 3149, 1171, 2194, 2991, 2128, 2983, 1248, 1251, 1904, 1525, 351, 2595, 1305, 1386, 2865, 1327, 1410, 650, 1645, 1282, 1884, 52, 308, 1745, 2224, 212, 1390, 2506, 1300, 180, 1271, 1145, 1839, 725, 237, 2801, 2338, 361, 2214, 30, 907, 1822, 380, 2219, 1293, 894, 160, 1426, 2145, 653, 2098, 86, 1136, 1388, 3070, 602, 712, 208, 1233, 2304, 1531, 255, 579, 2002, 197, 1904, 328, 854, 126, 18, 2581, 1522, 2321, 3212, 2555, 792, 1870, 913, 1792, 55, 2535, 797, 863, 953, 165, 1324, 3024, 43, 69, 716, 965, 2489, 1861, 256, 1146, 686, 2695, 1081, 1053, 552, 2553, 2344, 808, 850, 791, 2257, 1480, 748, 1285, 1412, 154, 3276, 1722, 2047, 87, 76, 140, 22, 1221, 857, 774, 2763, 1461],
[1606, 193, 658, 2035, 830, 1434, 2887, 2937, 1435, 750, 371, 486, 1389, 3313, 1789, 356, 1508, 331, 1781, 3270, 1515, 1980, 465, 130, 1415, 3281, 2759, 2523, 2849, 2101, 2599, 2120, 2625, 1888, 2754, 1413, 2725, 2188, 1204, 80, 664, 1229, 168, 3045, 83, 1983, 1496, 697, 955, 2869, 2222, 3294, 1102, 549, 370, 1293, 1899, 430, 2203, 3234, 1947, 2397, 461, 651, 803, 1038, 2293, 1020, 3296, 2577, 306, 1966, 2308, 2718, 1657, 2698, 2867, 1522, 558, 292, 3009, 1182, 2047, 1330, 1802, 257, 1514, 31, 1540, 1028, 76, 2765, 421, 774, 530, 1433, 294, 879, 3102, 2394, 2190, 1496, 1356, 1777, 3044, 2226, 39, 3260, 2623, 2750, 1977, 2371, 805, 1154, 2686, 1858, 2028, 1393, 1022, 1547, 1241, 1322, 1216, 2805, 2162, 3026, 1251, 2360, 646, 641, 3200, 1178, 1950, 2938, 613, 318, 2880, 2281, 1880, 2294, 2750, 849, 3268, 1666, 1833, 1310, 418, 3191, 721, 1925, 1152, 2260, 2448, 874, 1347, 11, 1614, 2288, 2603, 1244, 2736, 662, 1146, 88, 1941, 1015, 414, 2587, 3298, 3023, 3154, 413, 1499, 1620, 992, 925, 1058, 334, 2122, 1282, 652, 2395, 2905, 443, 966, 1127, 2259, 3137, 1184, 2542, 2273, 346, 3271, 2285, 100, 2988, 704, 2947, 3197, 1133, 283, 1698, 714, 3, 2664, 2180, 1280, 401, 2419, 2301, 1578, 1876, 199, 627, 2908, 940, 226, 780, 1597, 964, 115, 155, 1280, 3325, 3019, 460, 1876, 2699, 2839, 2161, 1179, 2061, 3257, 1889, 2580, 3259, 1888, 2110, 987, 180, 1521, 3077, 2340, 1854, 91, 1039, 1621, 1250, 169, 1894, 1936, 927, 992, 1705, 2434, 1367],
[2587, 820, 2401, 2720, 764, 2141, 1899, 2778, 135, 3105, 1553, 3121, 2658, 633, 395, 974, 1703, 1573, 129, 276, 2071, 1564, 2379, 2705, 1804, 243, 980, 2120, 691, 3200, 494, 2145, 2791, 1635, 373, 991, 2625, 2728, 3050, 848, 1414, 1703, 1755, 1962, 1299, 386, 1507, 2018, 3197, 2260, 1397, 1340, 3120, 351, 3280, 421, 1643, 375, 1710, 974, 942, 2396, 518, 2195, 1439, 2069, 1251, 2831, 2416, 1189, 2869, 1659, 3100, 1962, 2662, 2289, 1946, 1021, 1254, 1971, 1156, 1955, 445, 1211, 135, 2617, 3239, 820, 1338, 2348, 690, 406, 763, 1621, 89, 866, 3324, 89, 822, 2244, 566, 1003, 2011, 1258, 335, 2550, 755, 901, 1904, 541, 41, 1246, 1841, 939, 2912, 531, 2272, 1474, 2719, 2344, 794, 3234, 280, 2473, 1947, 2513, 2620, 1857, 615, 3190, 625, 2697, 3189, 3219, 1279, 481, 1864, 3168, 3040, 2774, 2037, 2584, 2972, 2375, 382, 537, 1543, 998, 705, 1351, 1718, 3261, 1764, 2789, 2223, 1768, 3227, 1644, 3010, 2718, 2505, 315, 1174, 2729, 974, 2857, 2621, 186, 1992, 1278, 2543, 2680, 125, 323, 3078, 2591, 85, 2116, 1580, 1807, 2817, 2867, 679, 2415, 1596, 1879, 2695, 2730, 2359, 1791, 2906, 2400, 1099, 827, 2784, 110, 295, 1134, 859, 2748, 1282, 654, 929, 2850, 2781, 3132, 2707, 175, 738, 1896, 1218, 288, 1496, 3163, 1920, 3298, 2708, 1040, 1738, 3097, 3030, 2954, 686, 1682, 269, 1011, 1271, 3295, 816, 2693, 3173, 2675, 2277, 1242, 2829, 1963, 1314, 2069, 1233, 3188, 249, 661, 1787, 920, 3266, 70, 2834, 37, 656, 2035, 243, 1184, 2410, 2491, 2367, 411]]

BHat * rHat: [[1, 127, 2252, 1774, 1319, 216, 2740, 506, 2897, 1644, 1067, 272, 434, 1016, 25, 1865, 3075, 443, 73, 142, 1652, 1257, 2977, 353, 1340, 2123, 1191, 655, 883, 1513, 2253, 274, 2589, 20, 2457, 2532, 2608, 402, 2513, 286, 1696, 2329, 2459, 875, 2707, 2484, 2913, 1826, 2816, 1611, 16, 415, 1928, 337, 2103, 2763, 1296, 2036, 2062, 2354, 101, 584, 2008, 3280, 2525, 1548, 246, 1703, 1568, 472, 1609, 349, 1357, 959, 3200, 2951, 2227, 782, 2490, 2235, 1387, 1622, 1661, 990, 1976, 1582, 1407, 3172, 1473, 2834, 2960, 75, 1568, 3224, 1296, 1940, 1550, 1713, 2506, 536, 1045, 2653, 1081, 2949, 3005, 1827, 609, 2200, 1382, 2198, 1180, 1562, 2810, 49, 1645, 2656, 3067, 3038, 981, 897, 1083, 2694, 642, 400, 523, 2424, 527, 1242, 1739, 546, 2235, 2736, 1763, 2130, 1377, 2308, 1538, 1232, 2629, 929, 2115, 1378, 1060, 3099, 806, 432, 2297, 2946, 2275, 1134, 1453, 232, 2713, 291, 1665, 1074, 1044, 255, 2862, 2514, 83, 330, 62, 2434, 2266, 683, 3256, 1522, 840, 3000, 1333, 3187, 3085, 458, 3256, 3316, 1038, 1171, 2442, 493, 2839, 1183, 1600, 1313, 2039, 526, 3072, 349, 949, 1199, 2694, 2752, 1395, 3207, 28, 1796, 595, 949, 3083, 294, 93, 1699, 3004, 3208, 485, 2079, 1355, 3306, 2745, 1964, 2455, 146, 2867, 172, 3275, 2714, 1099, 613, 1441, 3172, 2834, 1475, 1921, 2885, 1165, 2685, 1536, 1784, 2594, 141, 1216, 3145, 3277, 2496, 599, 1651, 2438, 2737, 2311, 3269, 2152, 2195, 481, 218, 2828, 1972, 2310, 382, 1456, 140, 3067, 3229, 2774, 842, 1012, 2412],
[553, 3304, 606, 2390, 2439, 2992, 902, 713, 2388, 2438, 132, 1771, 3202, 1334, 490, 2721, 2671, 1012, 2173, 938, 1959, 1191, 1677, 2515, 1574, 836, 1836, 3183, 2296, 2289, 3179, 2232, 2928, 197, 166, 332, 2753, 2646, 2298, 2711, 1350, 490, 2870, 2235, 2918, 2828, 1561, 2357, 2159, 184, 2253, 640, 2873, 2394, 2230, 865, 2393, 2503, 391, 3100, 1793, 1546, 397, 3085, 851, 97, 1301, 2233, 3314, 2698, 3251, 2196, 1593, 803, 1605, 994, 1418, 746, 3196, 729, 1403, 1298, 643, 1675, 1787, 534, 370, 3232, 1686, 2598, 1886, 3283, 445, 854, 3323, 949, 2849, 2782, 1617, 443, 1948, 3086, 2953, 3100, 2336, 111, 1765, 413, 1124, 286, 338, 2339, 2850, 1587, 3280, 2864, 1172, 3075, 1997, 1997, 338, 1024, 274, 91, 890, 1989, 404, 1888, 127, 2298, 2886, 2757, 2279, 2150, 3016, 2494, 1390, 2966, 1358, 563, 2247, 456, 1157, 2369, 250, 3309, 1777, 3320, 3272, 306, 413, 102, 351, 3053, 1085, 969, 2087, 1190, 634, 1079, 2126, 696, 1167, 297, 494, 3040, 2000, 2614, 1999, 802, 1963, 923, 34, 964, 190, 3115, 647, 1547, 2607, 218, 1690, 2456, 2504, 2319, 1393, 593, 3071, 1446, 3062, 1412, 2611, 3195, 2298, 781, 1046, 2504, 1785, 2999, 2703, 979, 1129, 2581, 2207, 1750, 485, 1886, 1583, 3132, 1742, 1903, 762, 1963, 1239, 1563, 1124, 1270, 1507, 866, 782, 182, 2914, 3017, 336, 2441, 2254, 2512, 52, 999, 174, 464, 2492, 2199, 1438, 2773, 2897, 1467, 2074, 501, 1194, 2547, 2249, 2446, 677, 1997, 2216, 2948, 2732, 834, 586, 2992, 2472, 1905, 859, 2921, 1055, 2004],
[2316, 944, 2344, 1074, 2292, 2320, 467, 469, 1195, 2346, 412, 1069, 112, 429, 109, 3279, 424, 2370, 1830, 2462, 2954, 1978, 510, 3030, 967, 3129, 701, 58, 1276, 3243, 1783, 3303, 2591, 1043, 2943, 665, 1894, 2510, 2957, 1146, 214, 178, 3231, 2723, 2173, 2074, 1816, 1938, 428, 3113, 3295, 1175, 964, 3138, 523, 2481, 296, 378, 2010, 472, 421, 499, 2116, 1005, 285, 2464, 796, 2584, 2057, 1346, 1797, 331, 45, 1603, 274, 1827, 1079, 302, 168, 2187, 397, 2744, 249, 2563, 1121, 909, 3018, 956, 2470, 1813, 1820, 2624, 2874, 2647, 2890, 3127, 3067, 1529, 1147, 3230, 2408, 2763, 2696, 2800, 1711, 1506, 3190, 965, 298, 2594, 565, 1539, 2807, 2217, 2391, 1869, 537, 2180, 81, 2321, 1763, 484, 669, 1392, 2916, 2131, 129, 789, 3127, 399, 1187, 3191, 1979, 935, 1935, 1044, 2655, 727, 2522, 344, 2430, 1110, 3295, 611, 2187, 2144, 2455, 1458, 2139, 1893, 2289, 704, 1122, 623, 906, 1144, 2343, 2466, 3269, 2820, 1224, 1022, 2068, 709, 2582, 249, 184, 1551, 2515, 2369, 1128, 310, 3080, 27, 1050, 2871, 2122, 3066, 2109, 2875, 2461, 719, 379, 2049, 35, 854, 459, 2540, 2163, 3142, 1070, 3305, 2288, 396, 2493, 3197, 2796, 1991, 1830, 1198, 1239, 775, 1419, 2608, 2478, 1745, 847, 2966, 781, 2721, 1248, 2899, 1616, 492, 815, 70, 3100, 2110, 3179, 1690, 3144, 3051, 1373, 2483, 1489, 2908, 2671, 780, 2532, 577, 1460, 640, 3120, 1128, 1857, 1752, 807, 2342, 557, 2649, 1119, 2044, 2522, 1365, 964, 922, 2027, 1282, 1771, 857, 3212, 695, 853, 996, 1613, 15]]
NTTInverse(BHat * rHat): [[2390, 2004, 1233, 557, 320, 148, 2920, 2049, 722, 1522, 1714, 2781, 2853, 1623, 2266, 3309, 1643, 2616, 2182, 372, 459, 3152, 1994, 3049, 1436, 781, 805, 2808, 1217, 2963, 572, 2798, 1738, 559, 1794, 395, 1779, 1110, 171, 1532, 403, 943, 769, 1283, 790, 2306, 2907, 3058, 1342, 2956, 1792, 2051, 0, 2293, 2935, 233, 2541, 2358, 401, 2622, 846, 1476, 2393, 2262, 2512, 1515, 1767, 1711, 2355, 878, 2631, 1296, 970, 1380, 478, 1263, 506, 921, 1113, 437, 1444, 1475, 478, 857, 776, 715, 2336, 680, 2316, 1196, 895, 3098, 2537, 2212, 942, 2731, 392, 1222, 2391, 741, 3269, 219, 3306, 1823, 1789, 236, 3076, 477, 148, 2791, 2236, 634, 2897, 1875, 325, 2339, 480, 3257, 2021, 3226, 2237, 3178, 2113, 1556, 1433, 2354, 1022, 3195, 495, 561, 3054, 2300, 256, 2607, 33, 747, 2928, 1660, 1829, 3314, 2874, 1443, 1176, 2772, 1822, 685, 2116, 501, 804, 1759, 2335, 2755, 538, 2785, 231, 1924, 2632, 3191, 47, 1962, 2679, 2760, 1, 2205, 726, 675, 1234, 1130, 926, 878, 2055, 1828, 1633, 1627, 887, 119, 1687, 651, 295, 2055, 854, 2568, 211, 2117, 3268, 125, 1490, 3040, 1336, 1230, 2439, 1220, 2263, 1836, 706, 3065, 285, 1055, 1427, 2205, 1220, 161, 2966, 2696, 970, 1037, 2957, 81, 1340, 2147, 1675, 118, 1749, 2749, 67, 220, 1567, 37, 2337, 2306, 1058, 3070, 1780, 2105, 2564, 1620, 631, 1685, 270, 1805, 1426, 2626, 831, 1107, 978, 2357, 2736, 2577, 683, 3304, 1634, 1552, 303, 1038, 777, 1201, 2937, 1353, 1484, 1524, 1382, 2458, 2223, 1280, 2159, 572],
[662, 2876, 1504, 1457, 1182, 1351, 1049, 272, 2986, 1962, 1243, 2325, 1333, 3155, 1830, 706, 990, 1491, 1815, 398, 2081, 1293, 796, 506, 2560, 599, 1348, 445, 2054, 631, 151, 1136, 665, 1057, 2318, 2725, 1561, 22, 1850, 1838, 2460, 1152, 3175, 2223, 2519, 1232, 399, 3014, 2113, 3296, 1861, 330, 1944, 2668, 707, 2089, 1196, 1094, 2110, 2461, 1343, 427, 1019, 982, 2338, 640, 3133, 1997, 1891, 1770, 892, 148, 102, 3008, 3077, 786, 2506, 3291, 1068, 1205, 1649, 2189, 2532, 2055, 965, 2468, 1485, 2773, 1144, 3016, 393, 545, 817, 2428, 1535, 1488, 1968, 2130, 3253, 2893, 1908, 1730, 2108, 1320, 2958, 1639, 103, 2295, 668, 2581, 3077, 1501, 1001, 1620, 2460, 2950, 1769, 3180, 1328, 1509, 2725, 381, 633, 2849, 1624, 158, 666, 2659, 210, 1868, 1196, 2655, 1316, 2379, 3115, 1883, 312, 1534, 1764, 1624, 2954, 3314, 2027, 962, 3328, 728, 1035, 2306, 2805, 1077, 497, 2100, 188, 2695, 2950, 2929, 1182, 1428, 1866, 1262, 3195, 2750, 496, 47, 593, 217, 1872, 685, 913, 165, 941, 275, 1702, 1623, 1326, 3200, 2595, 3317, 521, 2019, 1600, 2351, 768, 2520, 3304, 3116, 3077, 3170, 2900, 2285, 675, 1654, 769, 3048, 2377, 1277, 1178, 413, 2425, 3009, 857, 174, 2088, 261, 3023, 1856, 288, 486, 1146, 2158, 480, 2480, 313, 2400, 170, 2225, 1605, 746, 2220, 1209, 2261, 1309, 913, 2004, 1240, 2096, 2992, 2037, 2369, 1779, 2210, 3133, 1347, 1675, 749, 1609, 1243, 2392, 739, 1774, 585, 408, 1659, 2148, 1071, 123, 2331, 2429, 3183, 1027, 2186, 952, 2730, 1858, 3010, 3010],
[223, 863, 472, 2398, 1684, 1037, 80, 3005, 2951, 1804, 2121, 1700, 2420, 171, 2540, 196, 371, 10, 1873, 3006, 1541, 1308, 1457, 1207, 1742, 136, 2708, 54, 30, 154, 158, 415, 47, 1212, 1841, 300, 2988, 2199, 2393, 546, 1368, 1247, 464, 1277, 1552, 131, 1049, 2198, 1349, 544, 2507, 2212, 2133, 2388, 3323, 2846, 1660, 1280, 3, 2900, 2597, 1957, 2092, 976, 2554, 1430, 2889, 173, 1266, 1035, 937, 3025, 973, 2088, 1959, 1249, 401, 1673, 2449, 2447, 855, 415, 2313, 1540, 812, 1139, 1380, 2282, 3255, 313, 2187, 3087, 2608, 158, 1374, 511, 1279, 961, 3008, 3290, 2954, 742, 114, 2838, 1428, 680, 1958, 1049, 3250, 2669, 77, 2159, 2610, 2139, 3213, 1392, 1407, 2000, 1571, 1316, 312, 1870, 3013, 1442, 2298, 160, 461, 3087, 1143, 614, 2907, 263, 1735, 2474, 1933, 2480, 2726, 868, 229, 1872, 1182, 1572, 1553, 2002, 2100, 714, 882, 108, 1009, 2359, 3205, 185, 1474, 3104, 360, 1568, 2173, 2472, 1770, 3053, 2133, 2659, 172, 270, 2566, 1036, 579, 2284, 2144, 1010, 2082, 3309, 2836, 2788, 2797, 477, 1237, 1653, 576, 3041, 167, 1301, 542, 1361, 2153, 1393, 1713, 293, 3073, 1656, 2900, 519, 417, 1762, 1277, 2309, 1330, 2590, 2254, 129, 1359, 2966, 1429, 1026, 387, 900, 1235, 1407, 746, 1329, 1058, 3044, 900, 3071, 2114, 2289, 2977, 397, 3128, 1591, 1228, 676, 1101, 1543, 2327, 1840, 736, 2991, 2936, 728, 2042, 626, 2227, 2987, 3314, 1057, 2360, 3273, 2520, 553, 3078, 99, 516, 1387, 3056, 2622, 2975, 134, 912, 2040, 1994, 2428, 1437, 2588, 463, 2517]]
u = NTTInverse(BHat * rHat) + e1: [[2390, 2006, 1233, 557, 321, 147, 2920, 2049, 723, 1521, 1713, 2781, 2853, 1621, 2264, 3307, 1642, 2615, 2183, 373, 457, 3152, 1995, 3049, 1437, 781, 803, 2808, 1218, 2964, 570, 2799, 1740, 560, 1795, 395, 1778, 1111, 171, 1532, 405, 942, 769, 1283, 792, 2306, 2906, 3058, 1342, 2956, 1792, 2050, 1, 2295, 2936, 232, 2541, 2359, 400, 2622, 846, 1476, 2393, 2263, 2511, 1515, 1765, 1712, 2355, 879, 2631, 1295, 970, 1380, 480, 1265, 505, 922, 1113, 437, 1443, 1476, 478, 857, 777, 714, 2336, 681, 2314, 1195, 894, 3100, 2535, 2213, 941, 2730, 392, 1221, 2391, 740, 3268, 217, 3307, 1822, 1788, 237, 3075, 477, 148, 2790, 2236, 633, 2895, 1877, 324, 2339, 479, 3257, 2022, 3227, 2237, 3179, 2114, 1555, 1433, 2353, 1021, 3194, 495, 561, 3052, 2300, 258, 2608, 31, 748, 2927, 1661, 1829, 3314, 2875, 1444, 1178, 2771, 1823, 685, 2116, 500, 805, 1760, 2336, 2755, 537, 2785, 231, 1923, 2632, 3190, 47, 1961, 2679, 2761, 1, 2206, 726, 675, 1233, 1131, 927, 878, 2056, 1828, 1634, 1626, 887, 121, 1687, 651, 297, 2055, 854, 2568, 212, 2118, 3267, 124, 1489, 3040, 1335, 1228, 2438, 1220, 2263, 1836, 705, 3065, 286, 1057, 1426, 2203, 1219, 161, 2965, 2696, 969, 1037, 2957, 82, 1340, 2147, 1675, 119, 1748, 2749, 67, 220, 1568, 37, 2335, 2304, 1058, 3069, 1781, 2106, 2563, 1618, 631, 1684, 268, 1806, 1425, 2626, 830, 1107, 979, 2357, 2736, 2578, 681, 3304, 1634, 1552, 305, 1038, 777, 1201, 2938, 1353, 1486, 1524, 1381, 2458, 2224, 1280, 2157, 572],
[663, 2876, 1504, 1456, 1181, 1350, 1049, 272, 2985, 1962, 1242, 2325, 1334, 3156, 1829, 706, 990, 1490, 1814, 398, 2081, 1294, 794, 506, 2562, 597, 1347, 445, 2054, 631, 152, 1137, 665, 1057, 2317, 2725, 1562, 21, 1848, 1838, 2461, 1151, 3175, 2224, 2519, 1233, 399, 3014, 2114, 3295, 1859, 328, 1943, 2669, 706, 2089, 1196, 1094, 2110, 2460, 1343, 428, 1020, 983, 2336, 641, 3134, 1997, 1891, 1770, 893, 150, 101, 3007, 3077, 786, 2505, 3291, 1069, 1206, 1648, 2189, 2534, 2054, 967, 2467, 1485, 2773, 1143, 3016, 392, 543, 818, 2430, 1536, 1488, 1969, 2129, 3252, 2893, 1907, 1729, 2109, 1320, 2958, 1637, 101, 2295, 670, 2582, 3079, 1501, 1003, 1621, 2460, 2949, 1770, 3181, 1327, 1510, 2725, 381, 634, 2850, 1624, 158, 666, 2658, 210, 1867, 1196, 2655, 1317, 2381, 3117, 1882, 312, 1534, 1765, 1623, 2953, 3313, 2027, 961, 3327, 728, 1034, 2307, 2806, 1075, 496, 2101, 188, 2695, 2949, 2930, 1183, 1428, 1865, 1262, 3194, 2750, 494, 48, 594, 218, 1871, 684, 912, 165, 942, 275, 1701, 1624, 1327, 3199, 2596, 3317, 523, 2019, 1600, 2350, 769, 2519, 3304, 3114, 3076, 3169, 2902, 2285, 674, 1655, 768, 3049, 2379, 1278, 1179, 413, 2426, 3008, 858, 174, 2088, 262, 3022, 1857, 288, 487, 1146, 2156, 480, 2480, 311, 2401, 169, 2223, 1606, 745, 2221, 1209, 2261, 1308, 913, 2002, 1241, 2096, 2993, 2037, 2370, 1778, 2210, 3131, 1348, 1675, 750, 1611, 1242, 2392, 740, 1775, 585, 407, 1659, 2149, 1070, 121, 2331, 2430, 3184, 1025, 2185, 953, 2729, 1859, 3009, 3009],
[222, 862, 473, 2398, 1683, 1037, 81, 3005, 2949, 1805, 2121, 1700, 2421, 171, 2540, 198, 371, 9, 1873, 3005, 1541, 1307, 1457, 1209, 1742, 134, 2710, 55, 31, 154, 157, 416, 47, 1212, 1839, 298, 2988, 2197, 2393, 545, 1369, 1247, 466, 1278, 1551, 131, 1050, 2199, 1348, 543, 2507, 2213, 2134, 2388, 3324, 2847, 1661, 1280, 3, 2900, 2596, 1956, 2091, 977, 2552, 1431, 2889, 174, 1267, 1034, 937, 3025, 973, 2087, 1959, 1250, 400, 1673, 2450, 2447, 855, 415, 2314, 1540, 812, 1140, 1379, 2282, 3256, 315, 2186, 3086, 2608, 157, 1373, 512, 1278, 961, 3006, 3291, 2954, 741, 114, 2838, 1428, 681, 1958, 1049, 3248, 2670, 75, 2159, 2610, 2140, 3215, 1394, 1408, 2000, 1572, 1317, 311, 1869, 3012, 1442, 2298, 160, 462, 3089, 1143, 614, 2909, 264, 1736, 2476, 1933, 2482, 2726, 866, 227, 1873, 1182, 1573, 1553, 2002, 2101, 714, 882, 109, 1008, 2358, 3206, 185, 1475, 3104, 362, 1568, 2172, 2472, 1769, 3053, 2132, 2658, 172, 269, 2567, 1035, 579, 2285, 2146, 1009, 2083, 3307, 2837, 2788, 2796, 478, 1236, 1652, 577, 3041, 167, 1300, 544, 1362, 2153, 1392, 1713, 293, 3073, 1655, 2900, 521, 417, 1763, 1279, 2310, 1329, 2591, 2255, 129, 1358, 2967, 1427, 1027, 387, 902, 1235, 1407, 746, 1330, 1056, 3042, 899, 3069, 2112, 2290, 2977, 397, 3129, 1591, 1230, 676, 1099, 1542, 2326, 1841, 738, 2992, 2936, 727, 2043, 625, 2228, 2988, 3314, 1056, 2359, 3273, 2520, 553, 3078, 99, 515, 1388, 3056, 2623, 2974, 133, 911, 2041, 1994, 2428, 1438, 2588, 462, 2516]]

mu: [0, 0, 1665, 0, 1665, 0, 0, 0, 0, 0, 1665, 1665, 0, 1665, 1665, 1665, 0, 1665, 1665, 1665, 1665, 0, 1665, 0, 0, 1665, 0, 1665, 1665, 1665, 1665, 1665, 1665, 1665, 0, 0, 0, 0, 1665, 1665, 1665, 0, 0, 0, 1665, 1665, 0, 1665, 1665, 1665, 1665, 0, 1665, 0, 0, 1665, 1665, 1665, 0, 1665, 0, 1665, 1665, 0, 1665, 0, 0, 1665, 0, 1665, 0, 0, 0, 1665, 0, 1665, 1665, 0, 1665, 1665, 1665, 1665, 0, 1665, 1665, 0, 1665, 1665, 0, 0, 0, 0, 0, 1665, 1665, 0, 1665, 1665, 0, 1665, 1665, 0, 1665, 0, 0, 0, 1665, 0, 1665, 0, 0, 0, 1665, 1665, 0, 0, 1665, 0, 1665, 1665, 1665, 1665, 0, 0, 1665, 1665, 1665, 0, 1665, 1665, 0, 1665, 0, 1665, 0, 0, 1665, 0, 1665, 1665, 1665, 0, 1665, 0, 1665, 0, 0, 0, 0, 1665, 1665, 1665, 0, 0, 0, 1665, 1665, 0, 0, 0, 1665, 0, 0, 1665, 1665, 0, 1665, 0, 1665, 0, 1665, 0, 0, 1665, 1665, 0, 0, 1665, 1665, 0, 1665, 0, 0, 0, 1665, 0, 1665, 0, 0, 0, 0, 1665, 1665, 0, 0, 0, 0, 0, 0, 1665, 1665, 1665, 1665, 0, 1665, 0, 0, 0, 0, 1665, 0, 0, 0, 1665, 1665, 1665, 1665, 1665, 0, 0, 0, 1665, 1665, 0, 0, 0, 1665, 1665, 0, 0, 1665, 0, 0, 1665, 1665, 1665, 0, 0, 1665, 0, 0, 0, 0, 0, 0, 1665, 0, 1665, 0, 0, 1665, 1665, 0, 0, 1665, 1665]
tHat^T * rHat: [168, 1978, 1879, 506, 2991, 2549, 1591, 3010, 2292, 3168, 735, 2810, 809, 2276, 173, 2808, 3298, 1969, 368, 1506, 1472, 3275, 292, 590, 3078, 2931, 2675, 2578, 567, 1161, 2015, 3020, 2566, 2296, 860, 1511, 1139, 1161, 3020, 1988, 2403, 1878, 513, 342, 215, 2884, 1115, 1845, 3082, 980, 1395, 1520, 17, 2863, 603, 569, 1322, 715, 1465, 2054, 2488, 2923, 1385, 1926, 2847, 3174, 1309, 44, 2990, 3300, 1894, 2855, 2882, 596, 2113, 2173, 2488, 2587, 2610, 2707, 2338, 2011, 2050, 3181, 2208, 2572, 2347, 955, 3284, 1416, 2106, 1698, 1044, 1087, 2930, 1895, 2493, 2836, 87, 1212, 2012, 660, 377, 1982, 3063, 2234, 1604, 2972, 297, 2607, 185, 3176, 1179, 52, 1105, 2425, 2655, 1992, 571, 329, 3318, 1336, 2715, 2042, 1316, 3046, 435, 141, 2283, 2272, 487, 2767, 1208, 2900, 1355, 1420, 2897, 376, 2389, 193, 1804, 1101, 338, 89, 1510, 2702, 3065, 2652, 983, 2245, 2677, 604, 41, 3037, 3282, 2371, 1804, 747, 1341, 1148, 2174, 2645, 3093, 1297, 508, 137, 3097, 1526, 1875, 2438, 1330, 2284, 72, 932, 2674, 2714, 3005, 2400, 2457, 1273, 3190, 3099, 2290, 1724, 2420, 2006, 34, 1441, 623, 428, 1286, 3175, 44, 311, 198, 2210, 3236, 1936, 2655, 3239, 1190, 3072, 3231, 1773, 970, 1631, 1927, 843, 2192, 3310, 1153, 922, 1770, 246, 1467, 2142, 1566, 931, 870, 2016, 2271, 41, 1153, 128, 254, 1707, 3255, 3297, 2955, 2360, 74, 3061, 1746, 878, 2738, 2738, 409, 247, 247, 611, 162, 3152, 2853, 1623, 2673, 2255, 2709, 3261, 3157, 1628, 2144, 1375, 1998, 555, 526, 1701]
NTTInverse(tHat^T * rHat): [3281, 129, 1087, 3110, 2523, 1722, 632, 2517, 1209, 720, 1354, 1061, 665, 2811, 1418, 1765, 1465, 2182, 847, 1799, 3093, 3104, 2223, 1845, 1735, 2124, 1227, 526, 9, 879, 286, 3103, 1395, 1074, 2472, 1474, 2942, 2733, 1516, 1637, 1671, 1449, 305, 1462, 2130, 2158, 3279, 2030, 1895, 578, 537, 3135, 144, 2361, 2423, 335, 2587, 584, 399, 3321, 1770, 2466, 179, 2746, 1488, 124, 2933, 1743, 2206, 2141, 3015, 1149, 2344, 2363, 905, 1195, 779, 44, 626, 1980, 2074, 2113, 2982, 1942, 2032, 1330, 1306, 2907, 2899, 1397, 566, 589, 2703, 1610, 1065, 1844, 2260, 42, 2428, 814, 2948, 31, 64, 1232, 1421, 3124, 1641, 603, 2757, 1572, 141, 1863, 1945, 1253, 2403, 769, 1022, 1458, 2067, 3079, 3245, 703, 131, 882, 2829, 342, 1710, 3145, 1515, 2800, 3129, 2228, 2402, 1083, 555, 192, 1286, 1852, 869, 1145, 1785, 2593, 2297, 957, 3197, 1240, 1109, 1167, 1135, 2977, 689, 1727, 960, 1032, 1854, 381, 1242, 2563, 1172, 2511, 716, 2236, 1036, 1387, 932, 784, 1289, 2397, 2608, 2489, 2185, 2571, 2504, 468, 364, 1779, 2899, 1582, 173, 590, 2530, 3055, 3057, 1668, 2253, 447, 578, 1413, 868, 2620, 1185, 844, 1691, 1330, 2338, 2476, 2030, 310, 2611, 90, 2633, 2180, 552, 59, 2834, 2316, 1761, 2493, 43, 886, 3233, 126, 2940, 1478, 2338, 825, 849, 2553, 562, 2400, 1808, 1090, 2777, 254, 1814, 1772, 3214, 2124, 2556, 303, 2709, 1546, 145, 2220, 2247, 2206, 3113, 65, 2125, 106, 687, 2032, 732, 2960, 3056, 2494, 3084, 358, 1895, 2795, 2621, 1702, 449, 2606, 2886, 816]
e2 + mu: [0, 3328, 1666, 3328, 1666, 0, 2, 3328, 0, 0, 1666, 1665, 1, 1666, 1665, 1667, 0, 1664, 1665, 1667, 1667, 0, 1666, 1, 1, 1665, 0, 1665, 1665, 1665, 1666, 1666, 1667, 1664, 0, 1, 0, 0, 1666, 1664, 1667, 1, 0, 3328, 1663, 1665, 1, 1665, 1665, 1666, 1664, 3328, 1665, 1, 1, 1665, 1664, 1664, 3327, 1665, 3327, 1664, 1666, 1, 1665, 1, 0, 1665, 0, 1664, 0, 3327, 0, 1665, 0, 1665, 1665, 1, 1664, 1665, 1665, 1666, 0, 1665, 1665, 1, 1663, 1664, 0, 0, 0, 3328, 3328, 1663, 1664, 1, 1664, 1665, 0, 1665, 1667, 0, 1666, 3328, 3328, 3328, 1666, 3328, 1664, 0, 1, 0, 1664, 1665, 3328, 1, 1665, 0, 1665, 1663, 1665, 1666, 0, 3328, 1665, 1664, 1666, 0, 1666, 1664, 1, 1665, 1, 1665, 1, 2, 1666, 0, 1667, 1664, 1664, 1, 1663, 0, 1666, 0, 2, 3328, 3328, 1664, 1664, 1666, 0, 0, 3328, 1665, 1665, 1, 0, 3328, 1665, 0, 3328, 1664, 1665, 0, 1664, 1, 1665, 0, 1666, 3327, 0, 1666, 1667, 1, 0, 1666, 1665, 0, 1665, 0, 1, 3328, 1665, 0, 1665, 0, 1, 0, 1, 1665, 1666, 2, 3328, 3328, 0, 3328, 0, 1665, 1665, 1667, 1666, 1, 1664, 1, 0, 0, 0, 1666, 3328, 0, 0, 1664, 1665, 1665, 1666, 1663, 0, 2, 1, 1665, 1666, 0, 1, 0, 1663, 1665, 3327, 1, 1664, 0, 0, 1665, 1665, 1665, 3327, 2, 1665, 0, 0, 1, 3328, 3328, 3328, 1665, 1, 1666, 0, 0, 1664, 1664, 3328, 3328, 1665, 1664]
v = NTTInverse(tHat^T * rHat) + e2 + mu: [3281, 128, 2753, 3109, 860, 1722, 634, 2516, 1209, 720, 3020, 2726, 666, 1148, 3083, 103, 1465, 517, 2512, 137, 1431, 3104, 560, 1846, 1736, 460, 1227, 2191, 1674, 2544, 1952, 1440, 3062, 2738, 2472, 1475, 2942, 2733, 3182, 3301, 9, 1450, 305, 1461, 464, 494, 3280, 366, 231, 2244, 2201, 3134, 1809, 2362, 2424, 2000, 922, 2248, 397, 1657, 1768, 801, 1845, 2747, 3153, 125, 2933, 79, 2206, 476, 3015, 1147, 2344, 699, 905, 2860, 2444, 45, 2290, 316, 410, 450, 2982, 278, 368, 1331, 2969, 1242, 2899, 1397, 566, 588, 2702, 3273, 2729, 1845, 595, 1707, 2428, 2479, 1286, 31, 1730, 1231, 1420, 3123, 3307, 602, 1092, 1572, 142, 1863, 280, 2918, 2402, 770, 2687, 1458, 403, 1413, 1581, 2369, 131, 881, 1165, 2006, 47, 3145, 3181, 1135, 3130, 564, 2403, 2748, 556, 194, 2952, 1852, 2536, 2809, 120, 2594, 631, 957, 1534, 1240, 1111, 1166, 1134, 1312, 2353, 64, 960, 1032, 1853, 2046, 2907, 2564, 1172, 2510, 2381, 2236, 1035, 3051, 2597, 784, 2953, 2398, 944, 2489, 522, 2569, 2504, 2134, 2031, 1780, 2899, 3248, 1838, 590, 866, 3055, 3058, 1667, 589, 447, 2243, 1413, 869, 2620, 1186, 2509, 28, 1332, 2337, 2475, 2030, 309, 2611, 1755, 969, 518, 2218, 60, 1169, 2317, 1761, 2493, 43, 2552, 3232, 126, 2940, 3142, 674, 2490, 2515, 887, 562, 2402, 1809, 2755, 1114, 254, 1815, 1772, 1548, 460, 2554, 304, 1044, 1546, 145, 556, 583, 542, 3111, 67, 461, 106, 687, 2033, 731, 2959, 3055, 830, 3085, 2024, 1895, 2795, 956, 37, 448, 2605, 1222, 2480]

KBar: 72A437218AD22B2318C371896616F14B6E85EE8CED6FC1D3B87199B9522E59D4
cPrime: DFA6B9D72A63B420B89DDE50F7E0D56ECF876BFEF991FCE91C8D286FA6EABAC1730FD87741FE4AD717B282A21E235A55C3757D88D4CE62F414EB77EB9D357EE29D00087BF8110E5BBBC7C90419072EAE044BF7E183D43A94B2632AA14649619B70649521BC19370942EF70F36C34C8C23591EE0CA71A12D279E0F52D39ED0F913F8C262621FB242E680DEB307B0749C6B393A8EF66F8B04AAFA877B951AB93F598B4B2FAB04F88AC803984FF37E3FE74F3A616D5314EB3A826F874F8ECD3A5647D04942A57EFC09638470DC0A9DF40B317571D3984A78CF7D11751090722B3059E07591CC4A2ED9BA0DCE99BE9E5EE5DB8D698CDEB5814759BA977C90079CF2AFDE478069C513A60091A3A5D0111E22DE06CB145C14E22A214CB278C8152B0681BCAFF54D552B54A671C0DFEF775E7C54FEFC4853868C955971ABDAC2A76292CCCD4FD1C706B7D3614159673E9D7B29A2D3F63363129E7A21E803A460F2714E3E25922780AF38257CD1495ACD1E01980638DF58A153DAB07EFB5C7E78ADACF631956D69CCDA070459568BD9D11A2934BCF1643BC99468238910B1F742EBB3C03D39FD45CFB85BA309E29DD9B5CD560819EC729FCAC8B9D725E3E8ABEDE4B5298A8658EE3F781B0CE683CBB7335CD57EFE2204A8F197446D7314CDBF4C5D08CCC41F80857CC9571FBFB906060F7E17C8CEF0F274AFF83E393B15F2F9589A13AF4BC78E16CDDE62361D63B8DC903B70C01A43419CD2052150BD28719F61FF31F4A9BEC4DDBCEC1F8FB2EFBF37DFFFA4C7FECA8CE6D626BFDA16EE708D9206814A2EF988525615D4AC9BE608C4B03ABEE95B32A5DB74A96119A7E159AF99CD98E88EAF09F0D780E7C7E814B8E88B4F4E15FA54995D0ECBAD3EF046A4947F3E8B9E744241489B806FE9401E78BAFC8E882E9D6D0700F720C0024E7DA49061C5D18A62074040ABC0003200ED465231797930A2E2AA501F64862DDA13014A99F9D3270AA907EEB3FDBFF291600DF1F6B39684B11E396B70D86F90492E82B09BA25607B0C286FBC070182AC76FA7C859AAFEA87016AED22C3605A2789A1D439FD8D933342DAB745A3E550E7D77C01A6234BDA7D6BB19D495E6560FCE8396FC3C6E088ED60F5F2771416EA3BE5BE472B6404906C91E71D9A8672F390083655AB7D0EC6EDFE86789CE20BE2EA90CA5CC31416FB24CBAF94DA1468FE696BCDF5247CF117CBE9334076CA6896B2F6A016B1F7C73728807898D8B199756C2B0AA2457E1B4F7754C4576CE5645614EA15C1AE28B094EB217C7A7A41239576CBDA380EE68783432730AD5EBE7F51D6BE7FB02AB37BE0C96AAC9F3C790A18D159E6BABA71EC88C110FD84C336DF630F271CF79328B6C879DF7CDE0F70712220B1FBB9ACB48248D91F0E2B6E3BE40C2B221E626E7E330D9D83CC0668F7308591E14C7D72B841A6F05F3FDC139EECC1536765650B55A9CEC6BBF54CCEC5C3AC9A0E39F48F237BD4C660CB1A8D250BB6C8C010FEC34CC3D91599271C7531330F12A3E44FAFD905D2C6

Accepted, returning KPrime
